Künstliche Intelligenz
Wolfgang Bibel, Jörg Siekmann
₹3,508
Automated Theorem Proving
Vieweg+teubner Verlag · 1982
₹3,508
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Automated Theorem Proving is written by Wolfgang Bibel. This edition from Vieweg+teubner Verlag (1982) has 292 pages.
Topics covered include Automatic theorem proving.
About the author: W. Bibel (born 1938).
Subjects
Book details
- ISBN-13
- 9783528085209
- ISBN-10
- 3528085207
- Author
- Wolfgang Bibel
- Publisher
- Vieweg+teubner Verlag
- Author dates
- W. Bibel (born 1938)
- Published
- 1982
- Pages
- 292
- Language
- English
- Condition
- New
More by Wolfgang Bibel and related titles
Lehren Vom Leben
Wolfgang Bibel
₹3,873
Automated Theorem Proving
Wolfgang Bibel
₹7,764
Wissensrepräsentation Und Inferenz
Wolfgang Bibel, Steffen Hölldobler
₹3,999
Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536
Studien- Und Forschungsführer Künstliche Intelligenz
Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger
₹3,508
Ausgezeichnete Informatikdissertationen 1996
Wolfgang Bibel, H. Fiedler, W. Grass
₹3,246
Methoden Und Modelle Des Operations Research
Hans-Jürgen Zimmermann
₹3,508
Investitionsmanagement Mit Sap(r)
Jürgen Jandt, Ellen Falk-Kalms
₹3,508
Dfü, Datenfernübertragung Im Apple-Pascal-System
Klaus-Dieter Tillmann
₹3,508
Markoffsche Entscheidungsprozesse
Manfred Schäl
₹3,141
Einführungskurs Höhere Mathematik I
Sherman K. Stein, Hildebrand, Steeruwitz
₹3,249