1 |
|
Advance Trends in Soft Computing: Proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA [E-Book]
|
Jamshidi, Mo
|
2014 |
|
.
|
2 |
|
Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications [E-Book]
|
Sadeghian, Alireza
|
2013 |
|
.
|
3 |
|
Aggregation Functions in Theory and in Practise: Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 [E-Book]
|
Bustince, Humberto
|
2013 |
|
.
|
4 |
|
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
5 |
|
Computing with Words: Principal Concepts and Ideas [E-Book]
|
Zadeh, Lotfi A.
|
2012 |
|
.
|
6 |
|
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
7 |
|
Domain-Level Reasoning for Spoken Dialogue Systems [E-Book]
|
Bühler, Dirk
|
2011 |
|
.
|
8 |
|
Fifty Years of Fuzzy Logic and its Applications [E-Book]
|
|
2015 |
|
.
|
9 |
|
Fuzzy Knowledge Management for the Semantic Web [E-Book]
|
Ma, Zongmin
|
2014 |
|
.
|
10 |
|
Gödel's disjunction: the scope and limits of mathematical knowledge [E-Book]
|
Horsten, Leon
|
2016 |
|
.
|
11 |
|
Intuitionistic Fuzzy Logics [E-Book]
|
T. Atanassov, Krassimir
|
2017 |
|
.
|
12 |
|
Logic and complexity [Buch]
|
Lassaigne, Richard
|
2004 |
|
Regalstandort: ST 125 L346.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
13 |
|
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings [E-Book]
|
|
2017 |
500255505
|
.
|
14 |
|
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? [E-Book]
|
Schenke, Michael
|
2013 |
|
.
|
15 |
|
Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion [E-Book]
|
Witt, Kurt-Ulrich
|
2013 |
|
.
|
16 |
|
Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion ; [Lehrbuch] [Buch]
|
Witt, Kurt-Ulrich
|
2013 |
|
Regalstandort: ST 120 W827.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
17 |
|
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500256164
|
.
|
18 |
|
Nonmonotonic logic: context-dependent reasoning [Buch]
|
Marek, Victor W.
|
1993 |
|
Regalstandort: ST 300 M323.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
19 |
|
Programmverifikation: sequentielle, parallele und verteilte Programme [Buch]
|
Apt, Krzysztof R.
|
1994 |
|
Regalstandort: ST 233 A655.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
20 |
|
Proofs and algorithms: an introduction to logic and computability [Buch]
|
Dowek, Gilles
|
2011 |
|
Regalstandort: ST 134 D746.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|