| Shelfclass_id | 4.B.3 |
| Sortkey | SANDFORD, DAVID M |
| Authors | David M. Sandford |
| Title | Using Sophisticated Models in Resolution Theorem Proving |
| Publisher | Springer Pub. Co. |
| Year | 1980 |
| Languages | eng |
| Isbn | 0387102310 |
| Series | Lecture Notes in Computer Science |
| Volume | 90 |
| Issn | 0302-9743 |
| Description | xi, 239 p. 25 cm. |
| Record date | 20070320 |
| Location | New York |
| Keywords | Automatic theorem proving, Mathematics |
| Notes | Revision of thesis (Ph. D.). |