Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 15 of 15 results for "Wolfgang Bibel"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Artificial Intelligence - Eine Einführung, Author: Johannes Retti
QUICK ADD
Artificial Intelligence - Eine…
by Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn
#2 in Series
Paperback $69.99
Title: Automated Theorem Proving, Author: Wolfgang Bibel
QUICK ADD
Automated Theorem Proving
by Wolfgang Bibel
Paperback $69.99
Title: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications / Edition 1, Author: Wolfgang Bibel
QUICK ADD
Automated Deduction - A Basis…
by Wolfgang Bibel, P.H. Schmitt
#10 in Series
Paperback $169.99
Title: Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985, Author: Wolfgang Bibel
QUICK ADD
Mathematical Methods of…
by Wolfgang Bibel (Editor), Klaus P. Jantke (Editor)
#31 in Series
Hardcover $148.99
Title: Studien- und Forschungsführer Künstliche Intelligenz, Author: Wolfgang Bibel
QUICK ADD
Studien- und Forschungsführer…
by Wolfgang Bibel (Editor), Norbert Eisinger (Editor), Josef Schneeberger (Editor), Jörg Siekmann (Editor)
Paperback $69.99
Title: Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985, Author: Wolfgang Bibel
QUICK ADD
Mathematical Methods of…
by Wolfgang Bibel (Editor), Klaus P. Jantke (Editor)
#215 in Series
Paperback $54.99
Title: Fundamentals of Artificial Intelligence: An Advanced Course, Author: Wolfgang Bibel
QUICK ADD
Fundamentals of Artificial…
by Wolfgang Bibel
Explore Series
Paperback $54.99
Title: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 / Edition 1, Author: Wolfgang Bibel
QUICK ADD
5th Conference on Automated…
by Wolfgang Bibel, R. Kowalski
#87 in Series
Paperback $54.99
Title: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Author: Wolfgang Bibel
QUICK ADD
Automated Deduction - A Basis…
by Wolfgang Bibel (Editor), P.H. Schmitt (Editor)
#8 in Series
Paperback $219.99
Title: K�nstliche Intelligenz: Fr�hjahrsschule Teisendorf, 15.-24. M�rz 1982, Author: Wolfgang Bibel
QUICK ADD
K�nstliche Intelligenz: Frￅ
by Wolfgang Bibel (Editor), Jïrg Siekmann (Editor)
#59 in Series
Paperback $69.99
Title: Wissensrepräsentation und Inferenz: Eine grundlegende Einführung, Author: Wolfgang Bibel
QUICK ADD
Wissensrepräsentation und…
by Wolfgang Bibel, Wolfgang Bibel (Editor), Steffen Hölldobler, Rudolf Kruse (Editor), Torsten Schaub
Explore Series
Paperback $64.99
Title: Lehren vom Leben: Essays über Mensch und Gesellschaft, Author: Wolfgang Bibel
QUICK ADD
Lehren vom Leben: Essays über…
by Wolfgang Bibel
Explore Series
Paperback $64.99
Title: Ausgezeichnete Informatikdissertationen 1996: Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß, Author: Wolfgang Bibel
QUICK ADD
Ausgezeichnete…
by Wolfgang Bibel (Editor), H. Fiedler (Editor), W. Grass (Editor), Peter Gorny (Editor), Otto Kerner (Editor)
Explore Series
Paperback $69.95
Title: Automated Theorem Proving, Author: Wolfgang Bibel
QUICK ADD
Automated Theorem Proving
by Wolfgang Bibel
Explore Series
Paperback $109.99
Title: Fundamentals of Artificial Intelligence: An Advanced Course, Author: Wolfgang Bibel
QUICK ADD
Fundamentals of Artificial…
by Wolfgang Bibel, Wolfgang Bibel (Editor), A.W. Biermann, Philippe Jorrand (Editor), J.P. Delgrande
#232 in Series
Paperback $54.99