1 |
![Advance Trends in Soft Computing: Proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA Advance Trends in Soft Computing: Proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA](Cover.cls?type=cover&isbn=9783319036748&size=100) |
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 Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications](Cover.cls?type=cover&isbn=9781461466666&size=100) |
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 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](Cover.cls?type=cover&isbn=9783642391651&size=100) |
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 Automatentheorie und Logik](Cover.cls?type=cover&isbn=9783642180903&size=100) |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
5 |
![Computing with Words: Principal Concepts and Ideas Computing with Words: Principal Concepts and Ideas](Cover.cls?type=cover&isbn=9783642274732&size=100) |
Computing with Words: Principal Concepts and Ideas [E-Book]
|
Zadeh, Lotfi A.
|
2012 |
|
.
|
6 |
![Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications](Cover.cls?type=cover&isbn=9783319640211&size=100) |
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book]
|
O'Regan, Gerard
|
2017 |
|
.
|
7 |
![Domain-Level Reasoning for Spoken Dialogue Systems Domain-Level Reasoning for Spoken Dialogue Systems](Cover.cls?type=cover&isbn=9781441997289&size=100) |
Domain-Level Reasoning for Spoken Dialogue Systems [E-Book]
|
Bühler, Dirk
|
2011 |
|
.
|
8 |
![Fifty Years of Fuzzy Logic and its Applications Fifty Years of Fuzzy Logic and its Applications](Cover.cls?type=cover&isbn=9783319196831&size=100) |
Fifty Years of Fuzzy Logic and its Applications [E-Book]
|
|
2015 |
|
.
|
9 |
![Fuzzy Knowledge Management for the Semantic Web Fuzzy Knowledge Management for the Semantic Web](Cover.cls?type=cover&isbn=9783642392832&size=100) |
Fuzzy Knowledge Management for the Semantic Web [E-Book]
|
Ma, Zongmin
|
2014 |
|
.
|
10 |
![Gödel's disjunction: the scope and limits of mathematical knowledge Gödel's disjunction: the scope and limits of mathematical knowledge](Cover.cls?type=cover&isbn=9780191820373&size=100) |
Gödel's disjunction: the scope and limits of mathematical knowledge [E-Book]
|
Horsten, Leon
|
2016 |
|
.
|
11 |
![Intuitionistic Fuzzy Logics Intuitionistic Fuzzy Logics](Cover.cls?type=cover&isbn=9783319489537&size=100) |
Intuitionistic Fuzzy Logics [E-Book]
|
T. Atanassov, Krassimir
|
2017 |
|
.
|
12 |
![Logic and complexity Logic and complexity](Cover.cls?type=cover&isbn=9781852335656&size=100) |
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 Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings](Cover.cls?type=cover&isbn=9783662553862&size=100) |
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? Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?](Cover.cls?type=cover&isbn=9783834822956&size=100) |
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 Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion](Cover.cls?type=cover&isbn=9783658030797&size=100) |
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] Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion ; [Lehrbuch]](Cover.cls?type=cover&isbn=9783658030780&size=100) |
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 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday](Cover.cls?type=cover&isbn=9783319631219&size=100) |
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 Nonmonotonic logic: context-dependent reasoning](Cover.cls?type=cover&isbn=9783540564485&size=100) |
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 Programmverifikation: sequentielle, parallele und verteilte Programme](Cover.cls?type=cover&isbn=9783540574798&size=100) |
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 Proofs and algorithms: an introduction to logic and computability](Cover.cls?type=cover&isbn=9780857291202&size=100) |
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.
|