The Clausal Theory of Types (English, D. A. Wolfram)
Delivery options
₹3,298
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: ₹3,298
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521117906
ISBN-10
0521117909
Author
D. A. Wolfram
About the Book
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equation…
ISBN: 9780521117906
ISBN-13: 9780521117906
ISBN-10: 0521117909
Frequently Asked Questions
What is the price of The Clausal Theory of Types?
The Clausal Theory of Types starts from ₹3298 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of The Clausal Theory of Types?
D. A. Wolfram is the author of The Clausal Theory of Types. Browse more books by D. A. Wolfram on BookBajar.
Is The Clausal Theory of Types available in Paperback and Hardcover?
Yes, The Clausal Theory of Types is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for The Clausal Theory of Types?
Yes, BookBajar offers free delivery for The Clausal Theory of Types across India. No minimum order value required.
Is Cash on Delivery available for The Clausal Theory of Types?
Yes, Cash on Delivery (COD) is available for The Clausal Theory of Types on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521117906
🛒 Customers Also Bought
Atomic Habits - For An Easy & Proven Way to Build Good Habits & Break Bad Habits (English, Paperback, NIL)
₹1,000
Arzthaftung - Mängel Im Schadensausgleich? (English, Arbeitsgemeinschaft Rechtsanwälte Im Med | Christel Bienstein | Benedikt Buchner)
₹5,583
Flexibilität Von Personalintensiven Montagesystemen Bei Serienfertigung (English, H. Vähning)
₹4,178
Nichtlineare Schaltungen (English, R. Elsner)
₹3,685
Tiefbohrtechnik (English, Gottfried Prikel)
₹4,014
Physikalisches Praktikum Für Naturwissenschaftler Und Ingenieure (English, Jürgen Becker | Hansjörg Jodl)
₹3,198Related Products
Green Aviation: Reduction of Environmental Impact Through Aircraft Technology and Alternative Fuels (English, Hardcover)
₹2,700
Fifty-One Key Feminist Thinkers (Routledge Key Guides) (English, Paperback)
₹2,700
Management- Und Projekt-Methoden (English, Georg Winkelhofer)
₹3,508
Characteristic Based Planning with Mysap Scm(tm) (English, Jörg Thomas Dickersbach | A. Forstreuter | C. Fuhlbrügge)
₹5,552
Electric Power Grid Reliability Evaluation: Models and Methods (English, Paperback, Chanan Singh)
₹2,700