The Clausal Theory of Types (English, D. A. Wolfram)
Delivery options
₹7,497
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: ₹7,497
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521395380
ISBN-10
0521395380
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: 9780521395380
ISBN-13: 9780521395380
ISBN-10: 0521395380
Frequently Asked Questions
What is the price of The Clausal Theory of Types?
The Clausal Theory of Types starts from ₹7497 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-9780521395380
🛒 Customers Also Bought
Die Psychologie Des Verbrechens (English, Max Kauffmann)
₹4,688
Lebensmittel-Überwachung -- Transparent (English, Dieter Schenker | Günter Vollmer | Norbert Vreden)
₹4,194
Der Automobil-Löschzug Der Berufsfeuerwehr Hannover (English, M. Reichel)
₹4,663
Finite Zeros in Discrete Time Control Systems (English, Jerzy Tokarzewski)
₹4,821
Amerikanischer Eisenbau in Bureau Und Werkstatt (English, F. W. Dencer | R. Mitzkat)
₹4,170
Verbrennungsmotoren-Lehrbilder (English, Ludwig Richter)
₹4,162Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883