Computer-Aided Reasoning
Matt Kaufmann
₹15,390
Interactive Theorem Proving
First International Conference
by Matt Kaufmann, Lawrence C. Paulson
Springer · 2010
₹4,675
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 2010, Interactive Theorem Proving: First International Conference by Matt Kaufmann & Lawrence C. Paulson is available as a new copy.
The book deals with Logic design, Monoclonal antibodies, Software engineering and Computer science.
Book details
More by Matt Kaufmann and related titles
Oeuvres Completes, I, Correspondance 1774-1792
C. P. Courtney, Dennis Wood, Peter Rickard
₹4,078
The Court and Court Society in Ancient Monarchies
A. J. S. Spawforth
₹4,981
Religion, Law and the Growth of Constitutional Thought, 1150-1650
Brian Tierney
₹2,579
The Performance of Law
Randy Gordon
₹5,842
The Social Life of Fluids
Jules David Law
₹4,782
The Politics of Human Rights
Sabine C. Carey, Mark Gibney, Steven C. Poe
₹5,363
Integrated Uncertainty in Knowledge Modelling and Decision Making
Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
₹5,525
Muslim Networks from Hajj to Hip Hop
Miriam Cooke, Bruce B. Lawrence
₹3,995
Encyclopedia of Television Law Shows
Hal Erickson
₹3,556
English Population History from Family Reconstitution 1580-1837
E. A. Wrigley, R. S. Davies, J. E. Oeppen
₹4,774
The Constitution of Society
Anthony Giddens
₹3,842