| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Ausgezeichnete Informatikdissertationen 1996 | Taschenbuch | | 978-3-519-02646-4 | 1998 |
| Automated Deduction: A Basis for Applications, Vol. 3: Applications | Paperback | | 978-0-7923-5131-3 | 1998 | P.H. Schmitt |
| Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Hardcover | | 978-0-7923-5129-0 | 1998 | " |
| Automated Theorem Proving | Taschenbuch | | 978-3-528-08520-9 | 1982 |
| Automated Theorem Proving : A Logical Basis | " | | 978-3-528-18520-6 | 1987 |
| Bibelausgaben, Die Bibel | Gebunden | | 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 |
| Data Mining im praktischen Einsatz: Verfahren und Anwendungsfälle für Marketing, Vertrieb, Controlling und Kundenunterstützung | Taschenbuch | | 978-3-528-05748-0 | 2000 | Paul Alpar · Joachim Niedereichholz · Rudolf Kruse |
| Deduction: Automated Logic | Hardcover | | 978-0-12-095835-1 | 1993 |
| Die Bibel. | Cartonné | | 978-3-438-01406-1 | 2001 |
| Die Bibel. Einheitsübersetzung der Heiligen Schrift. Schulbibel. | " | | 978-3-438-01408-5 | |
| Fundamentals of Artificial Intelligence | Taschenbuch | | 978-3-662-39157-0 | 1987 |
| Fundamentals of Artificial Intelligence: An Advanced Course | " | | 978-3-540-16782-2 | 2008 | Philippe Jorrand |
| Fundamentals of Artificial Intelligence: An Advanced Course | " | | 978-3-540-18265-8 | 1987 | Philippe Jorrand · A.W. Biermann · J.P. Delgrande · G. Huet · J. Mylopoulos · E. Shapiro · M.E. Stickel |
| Fuzzy Theorie und Stochastik. Modelle und Anwendungen in der Diskussion. | " | | 978-3-528-05682-7 | 1999 | Rudolf (Hrsg.) Seising · Rudolf Kruse |
| Grundkurs Künstliche Intelligenz . Eine praxisorientierte Einführung | Broschiert | | 978-3-528-05924-8 | 2007 | Wolfgang Ertel · Rudolf Kruse · Bernhard Nebel |
| Handbuch der Informatik / Künstliche Intelligenz / Deduktion: Automatisierung der Logik | Gebunden | | 978-3-486-20785-9 | 1992 |
| Handbuch Web Mining im Marketing: Konzepte, Systeme, Fallstudien | Taschenbuch | | 978-3-322-89872-2 | 2012 | Hajo Hippner · Melanie Merzenich · Klaus D. Wilde · Rudolf Kruse |
| Handbuch Web Mining im Marketing: Konzepte, Systeme, Fallstudien | Gebunden | | 978-3-528-05794-7 | 2002 | Hajo Hippner · Melanie Merzenich · Klaus D. Wilde · Rudolf Kruse |
| Lehren vom Leben | Taschenbuch | | 978-3-8244-4519-6 | 2003 |
| Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... Notes in Computer Science , Band 215) | " | | 978-3-540-16444-9 | 2008 | Klaus P. Jantke |
| Quantum Computing verstehen. Grundlagen - Anwendungen - Perspektiven | Broschiert | | 978-3-528-05921-7 | 2008 | Matthias Homeister · Rudolf Kruse · Bernhard Nebel |
| Wissensrepräsentation und Inferenz: Eine grundlegende Einführung | Taschenbuch | | 978-3-528-05374-1 | 1993 |