Turbo PROLOG -- Einführung in Die Anwendung (English, Konrad Justen)
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
Die Künstliche Intelligenz befa t sich mit der Nachbildung von intelligentem mensch- lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprog…
ISBN: 9783528045616
Book Specifications
| ISBN-13 | 9783528045616 |
| ISBN-10 | 3528045612 |
| Publisher | Vieweg+teubner Verlag |
| Category | Vieweg+teubner Verlag |
Frequently Asked Questions
What is the price of Turbo PROLOG -- Einführung in Die Anwendung?
Does BookShops.in offer free delivery for Turbo PROLOG -- Einführung in Die Anwendung?
Is Cash on Delivery available for Turbo PROLOG -- Einführung in Die Anwendung?
What is the return policy for Turbo PROLOG -- Einführung in Die Anwendung?
Is Turbo PROLOG -- Einführung in Die Anwendung authentic?
Customers Also Bought
British Archaeological Reports Oxford Ltd
Copies of the Fel Temp Reparatio Coinage in Britain | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Reports Oxford Ltd | by R. J. Brickstock | British Archaeological Repor
de Gruyter
Baby - Cutter (English, Gerhard Strau | Heidrun Kamper-Jensen | Isolde Nortmeyer)
de Gruyter Mouton
Stratégies Et Choix Dans La Recherche (English, G. Lemaine | M. Clémençon | A. Gomis)
Packt Publishing
Keyshot 3D Rendering (English, Jei Lee Jo)
Taylor & Francis Ltd
Oppositional Voices (English, Kronitiris Tina)
de Gruyter Mouton
Regional Development (English, John H. Cumberland)
Related Products
View All
Vieweg+teubner Verlag
Zur Zierde Der Stadt (English, Uwe Beitz)
Vieweg+teubner Verlag
Emil Fischer (English, Horst Remane)
Vieweg+teubner Verlag
Kundenbindung Bei Veränderten Wettbewerbsbedingungen (English, Ulrich Blum | Hans-Dieter Cleven | Werner Esswein)
Vieweg+teubner Verlag
Simon Stevin (English, Rolf Grabow)
Vieweg+teubner Verlag
Gustav Hertz (English, Josef Kuczera)
Vieweg+teubner Verlag