Deduction : automated logic
- by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
- 253 p: ill.; 24 cm
- London ; Tokyo, United Kingdom. c1993. Academic Press
- Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise & comprehensive manner. This book features broad coverage of deductive methods on the level of propositional & first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, & their realization in concrete systems.