Deduction. Automated logic. - gebunden oder broschiert

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
Thoroughly cross-referenced