Programming with Higher-Order Logic
Dale Miller, Gopalan Nadathur
₹5,617
Proof Theory and Logic Programming
Computation as Proof Search
by Dale Miller
₹5,113
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
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoreti
Description supplied by the publisher.
Book details
- ISBN-13
- 9781009561297
- ISBN-10
- 1009561294
- Author
- Dale Miller
- Publisher
- Cambridge University Press
- Condition
- New
- Subject
- Programming
More by Dale Miller and related titles
Algorithms and Architectures for Parallel Processing, Part 2
Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs
₹5,595
Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud
₹5,584
Agent-Oriented Software Engineering X
Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
₹5,508
Database Issues for Data Visualization
Andreas Wierse, Georges G. Grinstein, Ulrich Lang
₹5,492
Human-Centred Software Engineering
Regina Bernhaupt, Peter Forbrig, Jan Gulliksen
₹5,474
Meta-Programming in Logic
Alberto Pettorossi
₹5,561
Artificial Neural Nets and Genetic Algorithms
David W. Pearson, Nigel C. Steele, Rudolf Albrecht
₹5,133
Mathematical Foundations of Computer Science 1990
Branislav Rovan
₹5,652
Programming Windows Workflow Foundation
K. Scott Allen
₹4,274
Raspberry Pi Assembly Language Programming
Stephen Smith
₹4,600
Functional Programming Using F#
Michael R. Hansen, Hans Rischel
₹5,014