Logical Frameworks (English, Gerard Huet | G. Plotkin)
Delivery options
₹11,232
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: ₹11,232
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521413008
ISBN-10
0521413001
Author
Gerard Huet | G. Plotkin
About the Book
This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and their relevance to automatic-theorem proving and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking r…
ISBN: 9780521413008
ISBN-13: 9780521413008
ISBN-10: 0521413001
Frequently Asked Questions
What is the price of Logical Frameworks?
Logical Frameworks starts from ₹11232 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Logical Frameworks?
Gerard Huet | G. Plotkin is the author of Logical Frameworks. Browse more books by Gerard Huet | G. Plotkin on BookBajar.
Is Logical Frameworks available in Paperback and Hardcover?
Yes, Logical Frameworks is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logical Frameworks?
Yes, BookBajar offers free delivery for Logical Frameworks across India. No minimum order value required.
Is Cash on Delivery available for Logical Frameworks?
Yes, Cash on Delivery (COD) is available for Logical Frameworks on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521413008
🛒 Customers Also Bought
Lokale Rechnernetze (English, Bernd Lindemann)
₹4,178
Eisenbahnanlagen Und Fahrdynamik (English, W. Müller)
₹4,514
Lehrgang Der Härtetechnik (English, Johannes Schiefer | Ernst Grün)
₹4,706
Modern Jurisprudence: A Philosophical Guide (English, Paperback, Sean Coyle)
₹3,074
Krankenhaus Im Brennpunkt (English, Thomas Ratajczak | Arbeitsgemeinschaft Rechtsanwälte Im Med | Gabriela Schwarz-Schilling)
₹4,191
Elektronisches Messen (English, Wolfgang Gruhle)
₹4,126Related Products
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
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
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700