کتاب های Wolfgang Bibel
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۹ کتاب.
PDF
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.), 1987DJVU
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.), 1980PDF
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.), 1980PDF
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.), 1998PDF
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.), 1998DJVU
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.), 1998PDF
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998DJVU
Automated Deduction — A Basis for Applications: Volume III Applications
Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.), 1998PDF
Automated Theorem Proving
Wolfgang Bibel (auth.), 1982PDF
Automated Theorem Proving
Wolfgang Bibel (auth.), 1987PDF
Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.), 1991PDF
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.), 1989PDF
Fundamentals of Artificial Intelligence: An Advanced Course
James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.), 1986DJVU
Fundamentals of Artificial Intelligence: An Advanced Course
James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.), 1986PDF
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982
Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.), 1982PDF
Lehren vom Leben: Essays über Mensch und Gesellschaft
Wolfgang Bibel (auth.), 2003DJVU
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.), 1986PDF
Wissensbasierte Echtzeitplanung
Jürgen Dorn (auth.), Wolfgang Bibel (eds.), 1989PDF
