Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
 |
Title: Handbook of Automated Reasoning by J. Alan Robinson, Andrei Voronkov ISBN: 0-262-18223-8 Publisher: MIT Press Pub. Date: 01 September, 2001 Format: Hardcover Volumes: 2 List Price(USD): $260.00 |
Average Customer Rating: 4 (1 review)
Rating: 4
Summary: Required reading for ATP researchers
Comment: I've found this to be the best introduction to (mostly classical) automated theorem proving. The matter is clearly presented and can be understood even by non-logicians. In the first part of the book there is a solid treatment of classical theorem proving, including an excellent chapter on tableau based methods. In the second part there is a short treatment of intuitionistic theorem proving, and some throwaway discussion of the relation of theorem proving and type-theory (specifically, dependent type-theories as used in Logical Frameworks), model checking, verification, etc. I give the book 4 stars because of its well-rounded discussion of classical theorem proving, and hold back the last star because the material is a bit dated compared to modern research directions, and doesn't cover intuitionistic theorem proving in great detail.
 |
Title: Towards the Semantic Web: Ontology-Driven Knowledge Management by John Davies, Dieter Fensel, Frank van Harmelen, Frank van Harmelen ISBN: 0470848677 Publisher: John Wiley & Sons Pub. Date: 21 January, 2003 List Price(USD): $95.00 |
 |
Title: Artificial Intelligence: A Modern Approach (2nd Edition) by Stuart J. Russell, Peter Norvig ISBN: 0137903952 Publisher: Prentice Hall Pub. Date: 20 December, 2002 List Price(USD): $86.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
