Symposium on Automatic Demonstration (English, M. Laudet | D. Lacombe | L. Nolin)
by M. Laudet | D. Lacombe | L. Nolin
Delivery options
₹4,497
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹4,497
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540049142
ISBN-10
3540049142
Author
M. Laudet | D. Lacombe | L. Nolin
About the Book
Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme de completude selon Herbrand.- Decision procedure for theories categorical in Alefo.- On the long-range prospects of automatic theorem-proving.- The case for using equality axioms in automatic…
ISBN: 9783540049142
ISBN-13: 9783540049142
ISBN-10: 3540049142
Frequently Asked Questions
What is the price of Symposium on Automatic Demonstration?
Symposium on Automatic Demonstration starts from ₹4497 at BookBajar. Available in Paperback.
Who is the author of Symposium on Automatic Demonstration?
M. Laudet | D. Lacombe | L. Nolin is the author of Symposium on Automatic Demonstration. Browse more books by M. Laudet | D. Lacombe | L. Nolin on BookBajar.
Is Symposium on Automatic Demonstration available in Paperback and Hardcover?
Yes, Symposium on Automatic Demonstration is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Symposium on Automatic Demonstration?
Yes, BookBajar offers free delivery for Symposium on Automatic Demonstration across India. No minimum order value required.
Is Cash on Delivery available for Symposium on Automatic Demonstration?
Yes, Cash on Delivery (COD) is available for Symposium on Automatic Demonstration on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540049142
🛒 Customers Also Bought
Informatik (English, Wolfgang Kastner | Gerhard Helge Schildt)
₹1,208
Betriebliche Umweltkostenrechnung (English, R. Antes | Klaus Fichter | S. Herbst)
₹3,508
Dust Mites (English, Matthew J. Colloff)
₹23,844
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Plotinus' Psychology (English, H. J. Blumenthal)
₹5,666
Psychotherapie Mit Psychotischen Menschen (English, Renate Hutterer-Krisch)
₹5,694Related Products
Projektmanagement (English, Peter Rinza)
₹3,143
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Erfolgsfaktor Innovation (English, Heinz-Kurt Wahren)
₹3,508
Green Aviation: Reduction of Environmental Impact Through Aircraft Technology and Alternative Fuels (English, Hardcover)
₹2,700
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724