Automated Reasoning in Higher-Order Logic (English, C. E. Brown)
by C. E. Brown
Delivery options
₹2,207
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 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: ₹2,207
Book Details
Publisher
College Publications
Language
English
ISBN-13
9781904987574
ISBN-10
1904987575
Author
C. E. Brown
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
ISBN-13: 9781904987574
ISBN-10: 1904987575
Frequently Asked Questions
What is the price of Automated Reasoning in Higher-Order Logic?
Automated Reasoning in Higher-Order Logic starts from ₹2207 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Automated Reasoning in Higher-Order Logic?
C. E. Brown is the author of Automated Reasoning in Higher-Order Logic. Browse more books by C. E. Brown on BookBajar.
Is Automated Reasoning in Higher-Order Logic available in Paperback and Hardcover?
Yes, Automated Reasoning in Higher-Order Logic is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Reasoning in Higher-Order Logic?
Yes, BookBajar offers free delivery for Automated Reasoning in Higher-Order Logic across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781904987574
🛒 Customers Also Bought
Darstellende Geometrie Für Maschineningenieure (English, Marcel Großmann)
₹4,484
Investition Und Finanzierung (English, Thomas Braun)
₹2,135
High Performance Computing on Vector Systems 2011 (English, Michael M. Resch | Xin Wang | Erich Focht)
₹5,638
Der Anteil Österreichs an Der Elektrizitätswirtschaftlichen Gemeinschaftsplanung in Europa (English, Oskar Vas)
₹5,997
Lehrbuch Der Hygiene (English, Ernst Rodenwaldt | Richard-Ernst Bader)
₹6,239
Nichtlineare Schaltungen (English, R. Elsner)
₹3,685Related Products
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fair Share (English, Isaac Elishakoff)
₹3,491
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524
Ecological Responses to the 1980 Eruption of Mount St. Helens (English, Virginia H. Dale | J. F. Franklin | Frederick J. Swanson)
₹3,205