Sciences, Technology & Medicine
Higher Order Logic Theorem Proving and Its Applications (English, Thomas F. Melham | Juanito Camilleri)
₹5,618
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 | 9783540584506 |
| ISBN-10 | 3540584501 |
Product Description
About the Book
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book give…
ISBN: 9783540584506
Frequently Asked Questions
What is the price of Higher Order Logic Theorem Proving and Its Applications?
Higher Order Logic Theorem Proving and Its Applications is available at ₹5,618 on BookShops.in.
Does BookShops.in offer free delivery for Higher Order Logic Theorem Proving and Its Applications?
FREE delivery on all orders for Higher Order Logic Theorem Proving and Its Applications.
Is Cash on Delivery available for Higher Order Logic Theorem Proving and Its Applications?
Yes, Cash on Delivery (COD) is available for Higher Order Logic Theorem Proving and Its Applications on BookShops.in. Pay when your order arrives.
What is the return policy for Higher Order Logic Theorem Proving and Its Applications?
BookShops.in offers a 15-day hassle-free return policy for Higher Order Logic Theorem Proving and Its Applications. Contact us at support@bookshops.in or call +91 81899 68108.
Is Higher Order Logic Theorem Proving and Its Applications authentic?
Higher Order Logic Theorem Proving and Its Applications is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329