نتایج جستجو
Studien- und Forschungsführer Künstliche Intelligenz
Prof. Dr. Wolfgang Bibel, Norbert Eisinger (auth.), Prof. Dr. Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger, Prof. Dr. Jörg Siekmann (eds.), 1987
Und die Bibel hat doch recht: Forscher beweisen die Wahrheit der Bibel
Werner Keller, 2002
Bach als Ausleger der Bibel
Martin Petzoldt (Hg.), 1985
Die Hacker-Bibel
Ryan Russell, 2002
Altes Testament, Frühjudentum, Gnosis. Neue Studien zu Gnosis und Bibel
Karl-Wolfgang Tröger (Hg.), 1980
Am Ende der Tage: Apokalyptische Bilder in Bibel, Kunst, Musik und Literatur
Hans-Georg Gradl, Georg Steins, Florian Schuller (eds.), 2011
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.), 1980
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.), 1980
Ausgezeichnete Informatikdissertationen 1996: Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, I. O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr (auth.), 1998
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques
W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques
W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998
Automated Theorem Proving
Wolfgang Bibel (auth.), 1982
Automated Theorem Proving
Wolfgang Bibel (auth.), 1987
Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.), 1991
Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications
Wolfgang Bibel, Jean-Marie Nicolas (auth.), Joachim W. Schmidt, Constantino Thanos (eds.), 1989
Fundamentals of Artificial Intelligence: An Advanced Course
James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.), 1986
Fundamentals of Artificial Intelligence: An Advanced Course
James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.), 1986
Hermeneutik: Die Geschichte der abendländischen Textauslegung von der Antike bis zur Gegenwart. Dichtung - Bibel - Recht - Geschichte - Philosophie
Meinrad Böhl, Wolfgang Reinhard, Peter Walter (eds.), 2013
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000
Intellectics and computational logic: papers in honor of Wolfgang Bibel
Steffen Hölldobler (eds.), 2000
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982
Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.), 1982

مقالات ISI مرتبط
