Programming with Higher-Order Logic (English, Dale Miller | Gopalan Nadathur)
by Dale Miller | Gopalan Nadathur
Delivery options
₹5,617
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: ₹5,617
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521879408
ISBN-10
052187940X
Author
Dale Miller | Gopalan Nadathur
About the Book
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarativ…
ISBN: 9780521879408
ISBN-13: 9780521879408
ISBN-10: 052187940X
Frequently Asked Questions
What is the price of Programming with Higher-Order Logic?
Programming with Higher-Order Logic starts from ₹5617 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Programming with Higher-Order Logic?
Dale Miller | Gopalan Nadathur is the author of Programming with Higher-Order Logic. Browse more books by Dale Miller | Gopalan Nadathur on BookBajar.
Is Programming with Higher-Order Logic available in Paperback and Hardcover?
Yes, Programming with Higher-Order Logic is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Programming with Higher-Order Logic?
Yes, BookBajar offers free delivery for Programming with Higher-Order Logic across India. No minimum order value required.
Is Cash on Delivery available for Programming with Higher-Order Logic?
Yes, Cash on Delivery (COD) is available for Programming with Higher-Order Logic on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521879408
🛒 Customers Also Bought
Personenwahrnehmung (English, Hans Werner Bierhoff)
₹3,954
In His Own Words (English, Hardcover, Adolf Hitler, C J Miller)
₹3,273
Die Neugestaltung Des Internationalen Rechts (English, D. Josephus Jitta)
₹4,124
Der Bauratgeber (English, Leopold Herzka)
₹4,129
Glasfaserverstärkte Kunststoffe (English, Harro Hagen)
₹6,443
Telekommunikation Für Den Menschen / Human Aspects of Telecommunication (English, Eberhard Witte | Eberhard Witte | Peter Welchowski)
₹4,057Related 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