Proof Theory and Logic Programming
Dale Miller
₹5,113
Programming with Higher-Order Logic
by Dale Miller, Gopalan Nadathur
Cambridge University Press · 2012
₹5,617
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Published by Cambridge University Press in 2012, Programming with Higher-Order Logic by Dale Miller & Gopalan Nadathur runs to 306 pages.
The book deals with Logic programming and Prolog (Computer program language).
Book details
- ISBN-13
- 9780521879408
- ISBN-10
- 052187940X
- Authors
- Dale Miller, Gopalan Nadathur
- Publisher
- Cambridge University Press
- Published
- 2012
- Pages
- 306
- Language
- English
- Condition
- New
- Subject
- Programming
More by Dale Miller and related titles
Jsp
Klaus Kilberth, Michael Jackson
₹2,349
Formale Begriffsanalyse Mit C++
Frank Vogt
₹3,508
Computer Science Logic
Mogens Nielsen, Wolfgang Thomas
₹5,637
Visualisierungstechniken Und Algorithmen
Wilhelm Barth
₹3,508
Entwicklung Von Algorithmen Zur Aufbereitung Komplizierter Netzplanstrukturen Für Eine Maschinelle N
Andreas Schmitz
₹3,508
Metaheuristic Algorithms
Gai-Ge Wang, Xiaoqi Zhao, Keqin Li
₹4,307
Revised Report on the Algorithmic Language ALGOL 68
A. Van Wijngaarden, B. J. Mailloux, J. E. L. Peck
₹4,197
Algorithmen in Der Computergraphik
Thomas Rauber
₹4,748
Regularization Algorithms for Ill-Posed Problems
Anatoly B. Bakushinsky, Mikhail M. Kokurin, Mikhail Yu Kokurin
₹4,977
Invitation to Linear Programming and Game Theory
David C. Vella
₹5,803
Meta-Programming in Logic
Alberto Pettorossi
₹5,561