Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536
Automated Theorem Proving
Vieweg + Teubner Verlag · 1987
₹7,764
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 by Wolfgang Bibel is a 289-page book published by Vieweg + Teubner Verlag in 1987.
The book deals with Démonstration automatique, Théorèmes, Automatisches Beweisverfahren and Automatic theorem proving.
About the author: W. Bibel (born 1938).
Book details
- ISBN-13
- 9783528185206
- ISBN-10
- 3528185201
- Author
- Wolfgang Bibel
- Publisher
- Vieweg + Teubner Verlag
- Author dates
- W. Bibel (born 1938)
- Published
- 1987
- Edition
- Revised, Subsequent
- Pages
- 289
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Wolfgang Bibel and related titles
Automated Theorem Proving
Wolfgang Bibel
₹3,508
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
Lehren Vom Leben
Wolfgang Bibel
₹3,873
Künstliche Intelligenz
Wolfgang Bibel, Jörg Siekmann
₹3,508
Wissensrepräsentation Und Inferenz
Wolfgang Bibel, Steffen Hölldobler
₹3,999
Object Oriented Data Analysis
J. S. Marron, Ian L. Dryden
₹10,165
Security and Privacy in Cyber-Physical Systems and Smart Vehicles
Yu Chen, Chung-Wei Lin, Bo Chen, Qi Zhu
₹5,086
FPGA Design
Philip Andrew Simpson
₹12,304
Random Number Generators for Computer Simulation and Cyber Security
Lih-Yuan Deng, Nirman Kumar, Henry Horng-Shing Lu
₹2,619
Applications of Computer Technology to Dynamical Astronomy
P. Kenneth Seidelmann
₹7,738