
Automated Reasoning in Higher-Order Logic (English, C. E. Brown)
by C. E. Brown
Delivery options
₹2,207
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 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 GlowMirror. Available in Paperback.
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 GlowMirror.
Is Automated Reasoning in Higher-Order Logic available in Paperback and Hardcover?
Yes, Automated Reasoning in Higher-Order Logic is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Automated Reasoning in Higher-Order Logic?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9781904987574
🛒 Customers Also Bought

Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Handbook of Psychobiography (English, William Todd Schultz)
₹10,880
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462Related Products

Neurovascular Neuropsychology (English, Joanne Festa | J. P. Mohr | Ronald Lazar)
₹22,489
The Homotopy Theory of (∞,1)-Categories (English, Julia E. Bergner)
₹14,706
In Their Own Words (English, C. Christine Fair)
₹4,768
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957