Deduction : automated logic
著者
書誌事項
Deduction : automated logic
Academic Press, c1993
大学図書館所蔵 件 / 全22件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 223-239
Includes index
内容説明・目次
内容説明
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.
目次
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.
「Nielsen BookData」 より