This specific ISBN edition is currently not available.View all copies of this ISBN edition:
Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems.
This book can be used both by readers seeking a broad survey of the area, and by those requiring a reference for more detailed analysis on individual topics. It is an invaluable text for students of artificial intelligence, cognitive science, and theorum- proving at the advanced undergraduate and graduate level.
Intended for readers who wish to become familiar with the area as a whole, or with selected topics, in a relatively short time
Serves as a reference book for consultation on individual topics
Contains one of the most comprehensive collections of different deduction mechanisms which has ever appeared in a single book, all presented in a uniform framework
Contains extensive references and exercises
"synopsis" may belong to another edition of this title.
Book Description Academic Press, 1993. Condition: Very Good. 1st Edition. Great condition for a used book! Minimal wear. Seller Inventory # GRP73890243