| 000 | 00387nam a2200133 4500 | ||
|---|---|---|---|
| 008 | 0 1991 0x 000 0CAN | ||
| 020 | _a0 471 92784 8 | ||
| 050 | _aQA76.9 A96 D858 | ||
| 082 | _a511.3 D472p | ||
| 100 | _aDuffy David A. | ||
| 245 | _aPrinciples of Automated Therem Proving / David A. Duffy | ||
| 260 | _aCanada : John Willey & sons | ||
| 300 | _axi, 243p. / 23.5 cm | ||
| 999 |
_c21210 _d21210 |
||