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.
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science Publishing Co Inc
Zielgruppe
Für höhere Schule und Studium
Gewicht
ISBN-13
978-0-12-095835-1 (9780120958351)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Introduction. Deduction in Propositional Logic. Deduction in First-Order Logic. Compressions and Strategies. Extensions and Applications. Appendices: Exercises and Solutions (Gerd Neugebauer). Exercises on Propositional Logic. Exercises on Predicate Logic and Further Topics. Solutions to Selected Exercises. Bibliography. List of Symbols. Subject Index.
