Programming with Higher-Order Logic
Dale Miller, Gopalan Nadathur
₹5,617
Proof Theory and Logic Programming
Computation as Proof Search
by Dale Miller
Cambridge University Press · 2025
₹5,113
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 2025, Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller is available as a new copy.
Book details
- ISBN-13
- 9781009561297
- ISBN-10
- 1009561294
- Author
- Dale Miller
- Publisher
- Cambridge University Press
- Published
- 2025
- Language
- English
- Condition
- New
- Subject
- Programming
More by Dale Miller and related titles
Meta-Programming in Logic
Alberto Pettorossi
₹5,561
Artificial Neural Nets and Genetic Algorithms
David W. Pearson, Nigel C. Steele, Rudolf Albrecht
₹5,133
Raspberry Pi Assembly Language Programming
Stephen Smith
₹4,600
On the Subject of Java
John Pemberton
₹4,350
Mathematische Geschichten IV - Euklidischer Algorithmus, Modulo-Rechnung Und Beweise
Susanne Schindler-Tschirner, Werner Schindler
₹998
Deductive Databases and Their Applications
Robert Colomb
₹5,380
Visualisierungstechniken Und Algorithmen
Wilhelm Barth
₹3,508
Parallel Programming in MPI and OpenMP
Victor Eijkhout
₹2,210
Programmieren und zeichnen mit Python für Dummies Junior
Claudia Ermel
₹1,223
Effiziente Algorithmen Für Grundlegende Funktionen
Ingo Wegener
₹3,246
Pi
Jörg Arndt, Christoph Haenel
₹3,873