Grundlagen Des Maschinellen Beweisens (English, Dieter Hofbauer | Ralf-Detlef Kutsche)
by Dieter Hofbauer | Ralf-Detlef Kutsche
Delivery options
₹2,875
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹2,875
Book Details
Publisher
Vieweg+teubner Verlag
Language
English
ISBN-13
9783528147181
ISBN-10
3528147180
Author
Dieter Hofbauer | Ralf-Detlef Kutsche
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
ISBN-13: 9783528147181
ISBN-10: 3528147180
Frequently Asked Questions
What is the price of Grundlagen Des Maschinellen Beweisens?
Grundlagen Des Maschinellen Beweisens starts from ₹2875 at BookBajar. Available in Paperback.
Who is the author of Grundlagen Des Maschinellen Beweisens?
Dieter Hofbauer | Ralf-Detlef Kutsche is the author of Grundlagen Des Maschinellen Beweisens. Browse more books by Dieter Hofbauer | Ralf-Detlef Kutsche on BookBajar.
Is Grundlagen Des Maschinellen Beweisens available in Paperback and Hardcover?
Yes, Grundlagen Des Maschinellen Beweisens is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Grundlagen Des Maschinellen Beweisens?
Yes, BookBajar offers free delivery for Grundlagen Des Maschinellen Beweisens across India. No minimum order value required.
Is Cash on Delivery available for Grundlagen Des Maschinellen Beweisens?
Yes, Cash on Delivery (COD) is available for Grundlagen Des Maschinellen Beweisens on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783528147181
🛒 Customers Also Bought
An Informal Conceptual Introduction to Turbulence (English, Arkady Tsinober)
₹17,455
Magnetic Resonance Imaging of the Knee (English, Mamoru Niitsu | Ali Guermazi | Daichi Hayashi)
₹7,297
Fundamentals of Magnonics (English, Rezende | Sergio M.)
₹6,128
Design of Digital Systems and Devices (English, Marian Adamski | Alexander Barkalov | Marek Wegrzyn)
₹17,388
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330Related Products
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094
Interstitial Prostate Brachytherapy (English, György Kovács | Peter Hoskin)
₹14,627
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Körperzentrierte Psychotherapie Im Dialog (English, Alfred Künzler | Claudia Böttcher | Romana Hartmann)
₹5,694