Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz
₹4,258
From Logic Programming to Prolog
by Apt
Prentice Hall · 1996
₹3,615
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
From Logic Programming to Prolog is written by Apt. This edition from Prentice Hall (1996) has 352 pages. The book is part of the Prentice Hall international series in computer science series.
Topics covered include Logic programming, Prolog (Computer program language) and Literary collections.
About the author: Krzysztof R. Apt (born 1949).
Book details
- ISBN-13
- 9780132303682
- ISBN-10
- 013230368X
- Author
- Apt
- Publisher
- Prentice Hall
- Author dates
- Krzysztof R. Apt (born 1949)
- Published
- 1996
- Series
- Prentice Hall international series in computer science
- Pages
- 352
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Physical Computation
Gualtiero Piccinini
₹12,318
Gotham Rising New York in the 1930s
Jules Stewart
₹2,718
Applied Multidimensional Systems Theory
Nirmal K. Bose
₹4,850
Body Electric
Manoush Zomorodi, Keith Diaz
₹2,193
Machine Learning with Python
Amin Zollanvari
₹6,548
The iPad 2 Project Book
Michael E. Cohen, Lisa L. Spangenberg, Dennis R. Cohen
₹3,677
From 5G to 6G
Abdulrahman Yarali
₹3,042
From Quantum Mechanics to Technology
Winter School of Theoretical Physics (32nd 1996 Karpacz, Poland)
₹2,767
Fundamentals of Computer Networks
Cajetan M. Akujuobi, Matthew N. O. Sadiku
₹6,204
Safety Integrity Level Selection
Edward M. Marszal, Eric William Scharpf
₹2,899
Unsaturated Soil Mechanics with Probability and Statistics
Ryosuke Kitamura, Kazunari Sako
₹10,789