Wolfgang Bibel

Titel	ISBN-13	Erschei- nungsjahr	andere Autoren
Automated Theorem Proving: A Logical Basis	978-3-528-18520-6	1987
Bibelausgaben, Die Bibel	978-3-451-28000-9	1999
Bibelausgaben, Die Bibel, Luthertext, Sonderausg.	978-3-438-01260-9
Bibelausgaben, Senfkornbibel, blau	978-3-438-01033-9	1985
Deduktion. Automatisierung der Logik	978-3-486-20785-9	1992	Steffen Hölldobler
Fundamentals of Artificial Intelligence. An Advanced Course	978-3-540-18265-8	1990	Philippe Jorrand
Fundamentals of Artificial Intelligence: An Advanced Course	978-3-540-16782-2	1986	A.W. Biermann · J.P. Delgrande · G. Huet · Philippe Jorrand · J. Mylopoulos · E. Shapiro · M.E. Stickel
Grundkurs Künstliche Intelligenz . Eine praxisorientierte Einführung	978-3-528-05924-8	2007	Wolfgang Ertel · Rudolf Kruse · Bernhard Nebel
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... v. 215	978-3-540-16444-9	1986	Klaus P. Jantke
Quantum Computing verstehen. Grundlagen - Anwendungen - Perspektiven	978-3-528-05921-7	2008	Matthias Homeister · Rudolf Kruse · Bernhard Nebel
Wissenspräsentation und Inferenz. Eine grundlegende Einführung	978-3-528-05374-1	1993	Steffen Hölldobler · Torsten Schaub