Automated Theorem Proving
Wolfgang Bibel
₹7,764
Künstliche Intelligenz
Frühjahrsschule Teisendorf, 15.-24. März 1982
by Wolfgang Bibel, Jörg Siekmann
Springer · 1982 · Paperback
₹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
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.-24. März 1982 is written by Wolfgang Bibel & Jörg Siekmann. This paperback edition from Springer (1982) has 401 pages.
Its main subjects are Artificial intelligence, Bibel and Künstliche Intelligenz.
About the author: W. Bibel (born 1938).
Book details
More by Wolfgang Bibel and related titles
Wissensrepräsentation Und Inferenz
Wolfgang Bibel, Steffen Hölldobler
₹3,999
Ausgezeichnete Informatikdissertationen 1996
Wolfgang Bibel, H. Fiedler, W. Grass
₹3,246
Studien- Und Forschungsführer Künstliche Intelligenz
Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger
₹3,508
Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536
Automated Theorem Proving
Wolfgang Bibel
₹3,508
Lehren Vom Leben
Wolfgang Bibel
₹3,873
New Perspectives on Healing, Restoration and Reconciliation in John’s Gospel
Jacobus Kok
₹16,697
Nomadic Text
Brennan W. Breed
₹4,630
New Testament Interpretation Through Rhetorical Criticism
George A. Kennedy
₹4,034
Discipleship and Family Ties in Mark and Matthew
Stephen C. Barton
₹11,759
Der Gesalbte
Ernst-Joachim Waschke
₹5,269