کتاب های Wolfgang Bibel (auth.)
![Studien- und Forschungsführer Künstliche Intelligenz](http://cdn.ketabkoo.com/covers/1/148396-n.jpg)
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![5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980](http://cdn.ketabkoo.com/covers/1/137720-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/137721-n.jpg)
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ß](http://cdn.ketabkoo.com/covers/1/148378-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148379-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148380-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148381-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148382-n.jpg)
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998![Automated Theorem Proving](http://cdn.ketabkoo.com/covers/1/148383-n.jpg)
Automated Theorem Proving
Wolfgang Bibel (auth.), 1982![Automated Theorem Proving](http://cdn.ketabkoo.com/covers/1/148384-n.jpg)
Automated Theorem Proving
Wolfgang Bibel (auth.), 1987![Automatisierung von Terminierungsbeweisen](http://cdn.ketabkoo.com/covers/1/148385-n.jpg)
Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.), 1991![Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications](http://cdn.ketabkoo.com/covers/1/148386-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148387-n.jpg)
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](http://cdn.ketabkoo.com/covers/1/148388-n.jpg)
Fundamentals of Artificial Intelligence: An Advanced Course
James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.), 1986![Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982](http://cdn.ketabkoo.com/covers/1/148392-n.jpg)
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982
Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.), 1982![Lehren vom Leben: Essays über Mensch und Gesellschaft](http://cdn.ketabkoo.com/covers/1/148393-n.jpg)
Lehren vom Leben: Essays über Mensch und Gesellschaft
Wolfgang Bibel (auth.), 2003![Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985](http://cdn.ketabkoo.com/covers/1/148394-n.jpg)
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.), 1986![Wissensbasierte Echtzeitplanung](http://cdn.ketabkoo.com/covers/1/148401-n.jpg)
Wissensbasierte Echtzeitplanung
Jürgen Dorn (auth.), Wolfgang Bibel (eds.), 1989![Wissensrepräsentation und Inferenz: Eine grundlegende Einführung](http://cdn.ketabkoo.com/covers/2/236873-n.jpg)