Grundlagen

Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring - Interactive Theorem Proving and Program Development
Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring Interactive Theorem Proving and Program Development Englisch 29.01.2013 Taschenbuch Fr. 110.00 6-7 Wochen
Osca Castillo, Oscar Castillo, Patricia Melin - Type-2 Fuzzy Logic: Theory and Applications
Osca Castillo, Oscar Castillo, Patricia Melin Type-2 Fuzzy Logic: Theory and Applications Englisch 12.10.2010 Taschenbuch Fr. 135.00 6-7 Wochen
Larisa Angstenberger - Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
Larisa Angstenberger Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Sylvan Learning, Sylvan Learning - 5th Grade Basic Math Success Workbook
Sylvan Learning, Sylvan Learning 5th Grade Basic Math Success Workbook Englisch 26.03.2019 Taschenbuch Fr. 15.50 6-7 Wochen
G Gerla, G. Gerla, Giangiacomo Gerla - Fuzzy Logic
G Gerla, G. Gerla, Giangiacomo Gerla Fuzzy Logic Englisch 07.10.2010 Taschenbuch Fr. 134.00 6-7 Wochen
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... - Dynamics and Management of Reasoning Processes
John-Jule Ch Meyer, John-Jules Ch Meyer, J. -J. Ch. Meyer, John-Jules Meyer, John-Jules Ch. Meyer, Treur... Dynamics and Management of Reasoning Processes Englisch 07.10.2010 Taschenbuch Fr. 134.00 6-7 Wochen
Matthe Foreman, Matthew Foreman, Kanamori, Kanamori, Akihiro Kanamori - Handbook of Set Theory, 3 Teile
Matthe Foreman, Matthew Foreman, Kanamori, Kanamori, Akihiro Kanamori Handbook of Set Theory, 3 Teile Englisch 24.01.2011 Fester Einband Fr. 1'010.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Andrzej Mostowski, Raphael M. Robinson, Raphael R Robinson, Alfred Tarski, Alfred Robinson Tarski, Alfred/ Mostowski Tarski - Undecidable Theories
Andrzej Mostowski, Raphael M. Robinson, Raphael R Robinson, Alfred Tarski, Alfred Robinson Tarski, Alfred/ Mostowski Tarski Undecidable Theories Englisch 24.09.2010 Taschenbuch Fr. 25.90 mind. 4 Wochen (Titel wird speziell besorgt)
S Miyamoto, S. Miyamoto, Sadaaki Miyamoto - Fuzzy Sets in Information Retrieval and Cluster Analysis
S Miyamoto, S. Miyamoto, Sadaaki Miyamoto Fuzzy Sets in Information Retrieval and Cluster Analysis Englisch 08.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
A L Semenov, A. L. Semenov, A.L. Semenov, Alexei Semenov, Vladimi Uspensky, Vladimir Uspensky - Algorithms: Main Ideas and Applications
A L Semenov, A. L. Semenov, A.L. Semenov, Alexei Semenov, Vladimi Uspensky, Vladimir Uspensky Algorithms: Main Ideas and Applications Englisch 19.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
C E Mortensen, C. E. Mortensen, C.E. Mortensen, Chris Mortensen - Inconsistent Mathematics
C E Mortensen, C. E. Mortensen, C.E. Mortensen, Chris Mortensen Inconsistent Mathematics Englisch 19.10.2010 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Howard Barringer, Michae Fisher, Michael Fisher, Dov Gabbay, Dov M. Gabbay, Graham Gough... - Advances in Temporal Logic
Howard Barringer, Michae Fisher, Michael Fisher, Dov Gabbay, Dov M. Gabbay, Graham Gough... Advances in Temporal Logic Englisch 20.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Frank O Wagner, Frank O. Wagner, Frank Olaf Wagner - Simple Theories
Frank O Wagner, Frank O. Wagner, Frank Olaf Wagner Simple Theories Englisch 07.10.2010 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
A Flach, P A Flach, P. A. Flach, P.A. Flach, Peter A. Flach, Hadjiantonis... - Abduction and Induction
A Flach, P A Flach, P. A. Flach, P.A. Flach, Peter A. Flach, Hadjiantonis... Abduction and Induction Englisch 07.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Dov M. Gabbay, Rudolf Kruse, Do M Gabbay, Dov M Gabbay, SMETS, Smets... - Abductive Reasoning and Learning
Dov M. Gabbay, Rudolf Kruse, Do M Gabbay, Dov M Gabbay, SMETS, Smets... Abductive Reasoning and Learning Englisch 07.10.2010 Taschenbuch Fr. 236.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Dov M. Gabbay, Jürg Kohlas, Do M Gabbay, Dov M Gabbay, Serafín Moral, SMETS... - Handbook of Defeasible Reasoning and Uncertainty Management Systems
Dov M. Gabbay, Jürg Kohlas, Do M Gabbay, Dov M Gabbay, Serafín Moral, SMETS... Handbook of Defeasible Reasoning and Uncertainty Management Systems Englisch 07.10.2010 Taschenbuch Fr. 236.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
J. Czelakowski, Janusz Czelakowski - Protoalgebraic Logics
J. Czelakowski, Janusz Czelakowski Protoalgebraic Logics Englisch 07.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Fred Aminzadeh, Leggett, Leggett, M. Leggett, Miles Leggett, Sandham... - Geophysical Applications of Artificial Neural Networks and Fuzzy Logic
Fred Aminzadeh, Leggett, Leggett, M. Leggett, Miles Leggett, Sandham... Geophysical Applications of Artificial Neural Networks and Fuzzy Logic Englisch 07.10.2010 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
W Kuyk, W. Kuyk, Willem Kuyk - Complementarity in Mathematics
W Kuyk, W. Kuyk, Willem Kuyk Complementarity in Mathematics Englisch 18.10.2010 Taschenbuch Fr. 188.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
David Marker - Model Theory : An Introduction
David Marker Model Theory : An Introduction Englisch 26.10.2010 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)