Proof Theory and Logic Programming
Dale Miller
₹5,113
Programming with Higher-Order Logic
by Dale Miller, Gopalan Nadathur
₹5,617
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
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.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521879408
- ISBN-10
- 052187940X
- Authors
- Dale Miller, Gopalan Nadathur
- Publisher
- Cambridge University Press
- Condition
- New
- Subject
- Programming
More by Dale Miller and related titles
Data Structures and Efficient Algorithms
Burkhard Monien, Thomas Ottmann
₹5,576
Constraint Programming
Andreas Podelski
₹5,542
JSP
Klaus Kilberth, Michael Jackson
₹2,349
Formale Begriffsanalyse Mit C++
Frank Vogt
₹3,508
Algorithmic Learning Theory
Ricard Gavalda, Klaus P. Jantke, Eiji Takimoto
₹5,539
Computer Science Logic
Mogens Nielsen, Wolfgang Thomas
₹5,637
Extensions of Logic Programming
Peter Schroeder-Heister
₹5,561
Visualisierungstechniken Und Algorithmen
Wilhelm Barth
₹3,508
Clever Algorithms
Jason Brownlee
₹2,721
Entwicklung Von Algorithmen Zur Aufbereitung Komplizierter Netzplanstrukturen Für Eine Maschinelle Netzplandarstellung
Andreas Schmitz
₹3,508
Rule-Based Reasoning, Programming, and Applications
Nick Bassiliades, Guido Governatori, Adrian Paschke
₹5,584