Logic and Computation
Lawrence C. Paulson
₹2,686
Isabelle
A Generic Theorem Prover
by Lawrence C. Paulson, T. Nipkow
Springer · 1994 · Paperback
₹5,612
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 Springer in 1994, Isabelle: A Generic Theorem Prover by Lawrence C. Paulson & T. Nipkow runs to 321 pages in paperback. The book is part of the Lecture notes in computer science series.
The book deals with Automatic theorem proving, Isabelle (Computer file), Computer architecture & logic design and Mathematical theory of computation.
Book details
More by Lawrence C. Paulson and related titles
ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
₹4,268
Logic and Computation
Lawrence C. Paulson
₹6,096
Legal Executions After Statehood in Arizona, Colorado, Nevada, New Mexico and Utah
R. Michael Wilson
₹4,547
Design Expertise
Bryan Lawson, Kees Dorst
₹4,273
Advances in Group Processes
Shane R. Thye, Edward J. Lawler
₹5,452
Women, Poverty, Equality
Meghan Campbell
₹2,730
Chess Training Pocket Book II
Lev Alburt, Al Lawrence
₹1,780
English Population History from Family Reconstitution 1580 1837
E. A. Wrigley, R. S. Davies, J. E. Oeppen
₹3,499
The Constitution of Interests
John Brigham
₹5,280
Encyclopedia of Television Law Shows
Hal Erickson
₹3,556
Asia-Pacific Constitutional Systems
Graham Hassall, Cheryl Saunders, John Ravenhill
₹4,778