Principles of automated theorem proving
著者
書誌事項
Principles of automated theorem proving
(Wiley professional computing)
Wiley, c1991
大学図書館所蔵 件 / 全24件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 225-232) and index
内容説明・目次
内容説明
Automated theorem proving is an important area of research having many applications within computer science. This book is a study of automatic theorem proving techniques (for first-order logic) which are currently attracting widespread interest.
「Nielsen BookData」 より