Vieweg+teubner Verlag
Grundlagen Des Maschinellen Beweisens (English, Dieter Hofbauer | Ralf-Detlef Kutsche)
₹2,875
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembewe…
ISBN: 9783528147181
Book Specifications
| ISBN-13 | 9783528147181 |
| ISBN-10 | 3528147180 |
| Publisher | Vieweg+teubner Verlag |
| Category | Vieweg+teubner Verlag |
Frequently Asked Questions
What is the price of Grundlagen Des Maschinellen Beweisens?
Grundlagen Des Maschinellen Beweisens is available at ₹2,875 on BookShops.in.
Does BookShops.in offer free delivery for Grundlagen Des Maschinellen Beweisens?
FREE delivery on all orders for Grundlagen Des Maschinellen Beweisens.
Is Cash on Delivery available for Grundlagen Des Maschinellen Beweisens?
Yes, Cash on Delivery (COD) is available for Grundlagen Des Maschinellen Beweisens on BookShops.in. Pay when your order arrives.
What is the return policy for Grundlagen Des Maschinellen Beweisens?
BookShops.in offers a 15-day hassle-free return policy for Grundlagen Des Maschinellen Beweisens. Contact us at [email protected] or call +91 81899 68108.
Is Grundlagen Des Maschinellen Beweisens authentic?
Grundlagen Des Maschinellen Beweisens is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W
₹3,526
Rowman & Littlefield Publishers
Joss Whedon's Dollhouse: Confounding Purpose, Confusing Identity (Science Fiction Television)
₹5,661
State University of New York Press
Mexico Unmanned: The Cultural Politics of Masculinity in Mexican Cinema (SUNY series in Latin American Cinema)
₹3,251
McFarland & Company
Valley Forge to Monmouth | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company |
₹3,523
University of Toronto Press
Structures of Feeling in Seventeenth-Century Cultural Expression (UCLA Center Clark Library)
₹5,875
McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
₹3,557
Related Products
View All
Vieweg+teubner Verlag
Zur Zierde Der Stadt (English, Uwe Beitz)
₹5,498
Vieweg+teubner Verlag
Emil Fischer (English, Horst Remane)
₹3,246
Vieweg+teubner Verlag
Kundenbindung Bei Veränderten Wettbewerbsbedingungen (English, Ulrich Blum | Hans-Dieter Cleven | Werner Esswein)
₹2,349
Vieweg+teubner Verlag
Simon Stevin (English, Rolf Grabow)
₹2,875
Vieweg+teubner Verlag
Gustav Hertz (English, Josef Kuczera)
₹5,498
Vieweg+teubner Verlag
Galileo Galilei (English, Ernst Schmutzer)
₹3,623