E-LIB Suche - Ergebnisse für: inf 410?

1

Advanced boolean techniques

selected papers from the 13th international workshop on boo...

Drechsler, Rolf ; Soeken, Mathias , [2020]

2

Introduction to logic programming

Synthesis lectures on artificial intelligence and machine learning ; #44;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science

Genesereth, Michael R. ; Chaudhri, Vinay K. , [2020]

Link: https://doi.org/10.2200/..

3

Formal methods in computer science

Textbooks in mathematics

Wang, Jiacun ; Tepfenhart, William M. , [2020]

Exemplar: Zentrale:E02 a inf 420 e/426

4

A learner's guide to fuzzy logic systems

CRC focus

Sundareswaran, K. - Second edition . , [2020]

Link: https://doi.org/10.1201/..

5

A first course in fuzzy logic

Textbooks in mathematics

Nguyen, Hung T. ; Walker, Carol L. ; Walker, Elbert - Fourth edition . , [2019]

Exemplar: Zentrale:E02 a inf 410 fuz/612(4)

6

A first course in logic:

Lawson, Mark V. - 1st . , 2018

Link: https://doi.org/10.1201/..

7

Introduction to recursive programming:

Rubio-Sánchez, Manuel , [2018]

Link: https://doi.org/10.1201/..

8

Logik, Informationstheorie

, In: Medientechnisches Wissen
Band 1,

De Gruyter Studium

Höltgen, Stefan ; Völz, Horst , [2018]

Exemplare: Zentrale; TB BHV; TB Nautik;

9

Grundlagen der Digitaltechnik

Elementare Komponenten, Funktionen und Steuerungen Hanser eLibrary

Wöstenkühler, Gerd - 2., aktualisierte Auflage . , 2016

Link: https://doi.org/10.3139/..

Exemplar: :TB Technik n 500/637(2)

10

Subjective Logic

A Formalism for Reasoning Under Uncertainty Artificial Intelligence: Foundations, Theory, and Algorithms;Artificial Intelligence: Foundations, Theory, and Algorithms Ser.

Jøsang, Audun , 2016

Link: https://ebookcentral.pro..

11