Interactive Theorem Proving
Matt Kaufmann, Lawrence C. Paulson
₹4,675
Computer-Aided Reasoning
ACL2 Case Studies: 4
Springer-Verlag New York Inc. · 2010
₹15,390
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-Verlag New York Inc. in 2010, Computer-Aided Reasoning: ACL2 Case Studies: 4 by Matt Kaufmann runs to 337 pages.
Its main subjects are Electronic data processing, Computer science, Software engineering and Expert systems (computer science).
Book details
- ISBN-13
- 9781441949813
- ISBN-10
- 144194981X
- Author
- Matt Kaufmann
- Publisher
- Springer-Verlag New York Inc.
- Published
- 2010
- Edition
- Softcover reprint of the original 1st ed. 2000
- Pages
- 337
- Language
- English
- Condition
- New
- Subject
- Expert systems
More by Matt Kaufmann and related titles
Knowledge and Systems Sciences
Jian Chen, Thanaruk Theeramunkong, Xijin Tang
₹6,205
Case-Based Reasoning Research and Development
Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting
₹4,860
Knowledge Computing and Its Applications
S. Margret Anouncia, Uffe Kock Wiil
₹4,328
Research and Development in Intelligent Systems XXIII
Frans Coenen, Andrew Tuson
₹4,707
Generative AI
Taulli, Tom
₹3,912
Advances in Personalized Web-Based Education
Konstantina Chrysafiadi, Maria Virvou
₹7,758
Methodische Entwicklung Von Expertensystemen
Michael Karst
₹3,508
Scaling Topic Maps
Lutz Maicher
₹5,748
Building Problem Solvers
Kenneth D. Forbus, Johan De Kleer
₹4,097
Knowledge Discovery and Data Mining
Xingquan Zhu
₹3,832
Expertensysteme
Ulrich Frank
₹3,508