Automated Theorem Proving by Special Session on Automatic Theorem Proving, W W Bledsoe, Donald W Loveland, American Mathematical Society
| ISBN: | 9780821850275 |
| Publication date: | 30th December 1984 |
| Author: | Special Session on Automatic Theorem Proving, W W Bledsoe, Donald W Loveland, American Mathematical Society |
| Publisher: | American Mathematical Society |
| Format: | Paperback |
| Pagination: | 360 pages |
| Series: | Contemporary Mathematics |
| Genres: |
Mathematical foundations Discrete mathematics Combinatorics and graph theory |