College Publications
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
Genuine BookPhysical copy only
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
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
Book Specifications
| ISBN-13 | 9781904987574 |
| ISBN-10 | 1904987575 |
| Publisher | College Publications |
| Category | College Publications |
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 [email protected] 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.
Customers Also Bought
Taylor & Francis Ltd
Oppositional Voices (English, Kronitiris Tina)
₹5,083
Routledge
Ordinary People and Extra-Ordinary Protections (English, Judith L. Mitrani)
₹3,517
Cambridge University Press
Jane Austen and the Enlightenment (English, Peter Knox-Shaw)
₹2,736.02
de Gruyter
Produktionswirtschaft (English, Günther Zäpfel)
₹4,079
de Gruyter
Register (English, Max Ebert)
₹4,379
Packt Publishing
Keyshot 3D Rendering (English, Jei Lee Jo)
₹2,877
Related Products
View All
College Publications
Set Theory (English, Kenneth Kunen)
₹2,003
College Publications
Knowing, Reasoning, and Acting (English, Gerhard Lakemeyer | Sheila A. McIlraith)
₹2,881
College Publications
Meta-Logical Investigations in Argumentation Networks (English, Dov M. Gabbay)
₹2,436
College Publications
Adventures in Formalism (English, Craig Smorynski)
₹2,102
College Publications
A Treatise on the Binomial Theorem (English, Craig Smorynski)
₹1,751
College Publications
Logical Reasoning (English, R. Nederpelt | F. Kamareddine)
₹1,941