| Shelfclass_id | 4.B.3 |
| Sortkey | DUFFY, DAVID A |
| Authors | David A. Duffy |
| Title | Principles of Automated Theorem Proving |
| Publisher | Wiley |
| Year | c1991 |
| Languages | eng |
| Isbn | 0471927848 |
| Series | Wiley professional computing |
| Description | xviii, 243 p. 25 cm. |
| Record date | 20061025 |
| Location | New York |
| Keywords | Automatic theorem proving |