Springer
Symposium on Automatic Demonstration (English, M. Laudet | D. Lacombe | L. Nolin)
₹4,497
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
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
Book Details
| ISBN-13 | 9783540049142 |
| ISBN-10 | 3540049142 |
Product Description
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
Frequently Asked Questions
What is the price of Symposium on Automatic Demonstration?
Symposium on Automatic Demonstration is available at ₹4,497 on BookShops.in.
Does BookShops.in offer free delivery for Symposium on Automatic Demonstration?
FREE delivery on all orders for Symposium on Automatic Demonstration.
Is Cash on Delivery available for Symposium on Automatic Demonstration?
Yes, Cash on Delivery (COD) is available for Symposium on Automatic Demonstration on BookShops.in. Pay when your order arrives.
What is the return policy for Symposium on Automatic Demonstration?
BookShops.in offers a 15-day hassle-free return policy for Symposium on Automatic Demonstration. Contact us at support@bookshops.in or call +91 81899 68108.
Is Symposium on Automatic Demonstration authentic?
Symposium on Automatic Demonstration is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
