Science & Mathematics
Automated Reasoning in Higher-Order Logic (English, C. E. Brown)
₹2,207
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 | 9781904987574 |
| ISBN-10 | 1904987575 |
Product Description
About the Book
Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of higher-order logic. The first part of the book provides a detailed presenta…
ISBN: 9781904987574
Frequently Asked Questions
What is the price of Automated Reasoning in Higher-Order Logic?
Automated Reasoning in Higher-Order Logic is available at ₹2,207 on BookShops.in.
Does BookShops.in offer free delivery for Automated Reasoning in Higher-Order Logic?
FREE delivery on all orders for Automated Reasoning in Higher-Order Logic.
Is Cash on Delivery available for Automated Reasoning in Higher-Order Logic?
Yes, Cash on Delivery (COD) is available for Automated Reasoning in Higher-Order Logic on BookShops.in. Pay when your order arrives.
What is the return policy for Automated Reasoning in Higher-Order Logic?
BookShops.in offers a 15-day hassle-free return policy for Automated Reasoning in Higher-Order Logic. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automated Reasoning in Higher-Order Logic authentic?
Automated Reasoning in Higher-Order Logic is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-42%Science & Mathematics
Technological Choices and Material Meanings in Early and Middle Bronze Age Hungary (English, Attila Kreiter)
₹5,082₹8,808
-41%Science & Mathematics
Cultivating an Ecological Conscience (English, Frederick L. Kirschenmann | Constance L. Falk)
₹4,797₹8,197
Science & Mathematics
Athlete's Dilemma (English, John Weston Parry)
₹4,815
-66%Science & Mathematics
Geological Objects and Structures in 3D (English, Frizon de Lamotte Domini | Pascale Leturmy | Pauline Souloumiac)
₹4,333₹12,666
Science & Mathematics
Rayford W. Logan and the Dilemma of the African American Intellectual (English, Kenneth Robert Janken)
₹4,132
Science & Mathematics
Thoreau and the Sociological Imagination (English, Shawn Chandler Bingham)
₹4,868