Cambridge University Press
Logical Frameworks (English, Gerard Huet | G. Plotkin)
₹5,243
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9780521413008 |
| ISBN-10 | 0521413001 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Logical Frameworks?
Logical Frameworks is available at ₹5,243 on BookShops.in.
Does BookShops.in offer free delivery for Logical Frameworks?
FREE delivery on all orders for Logical Frameworks.
Is Cash on Delivery available for Logical Frameworks?
Yes, Cash on Delivery (COD) is available for Logical Frameworks on BookShops.in. Pay when your order arrives.
What is the return policy for Logical Frameworks?
BookShops.in offers a 15-day hassle-free return policy for Logical Frameworks. Contact us at support@bookshops.in or call +91 95575 56855.
Is Logical Frameworks authentic?
Logical Frameworks is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Cambridge University Press
Voice Quality | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge
₹5,327
Springer
Ultrastructure of the Digestive Tract: 4 | by P. Motta | H. Fujita | Kluwer Academic Publishers | English | 1988th Edition
₹5,267
Routledge
The Routledge Handbook of Attachment | by Paul Holmes | Steve Farnfield | Routledge | English | 1st Edition
₹4,145
Wiley-Blackwell
Forensic Psychology | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Graham M. Davies | Anthony R. Beech | Wiley-Blackwell | by Gra
₹4,112
CRC Press
Environmental Protection and Sustainable Ecological Development: Proceedings of the Environmental Protection and Sustainable Ecological Development, Wuhan, Hubei, China, 24-26 October, 2014 | by Jiaxing Zhang | CRC Pr I Llc | English | 1st Edition
₹4,360
Springer
Replacement of Renal Function by Dialysis: A Textbook of Dialysis | by William Drukker | Frank M. Parsons | J. F. Maher | Kluwer Academic Pub | English | 2nd Edition
₹4,265
Related Products
View AllCambridge University Press
Voice Quality | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge University Press | by John H. Esling | Scott R. Moisik | Allison Benner | Cambridge
₹5,327
Cambridge University Press
The Institutions Curse | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge University Press | by Victor Menaldo | Cambridge Univ
₹1,105
Cambridge University Press
Virtuous Violence: Hurting and Killing to Create, Sustain, End, and Honor Social Relationships | by Alan Page Fiske | Tage Shakti Rai | Steven Pinker | Cambridge University Press | English | Illustrated Edition
₹1,075
Cambridge University Press
The Many Hands of the State: Theorizing Political Authority and Social Control | by Kimberly J. Morgan | Ann Shola Orloff | Cambridge University Press | English
₹1,093
Cambridge University Press
Comic Acting and Portraiture in Late-Georgian and Regency England | by Jim Davis | Cambridge University Press | English
₹4,572
Cambridge University Press
Planetary Rings | by Larry W. Esposito | Cambridge University Press | English | Revised Edition
₹5,329