Principles of automated theorem proving
Author(s)
Bibliographic Information
Principles of automated theorem proving
(Wiley professional computing)
Wiley, c1991
Available at / 24 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 225-232) and index
Description and Table of Contents
Description
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.
by "Nielsen BookData"