| 000 | 00853nam a2200277Ia 4500 | ||
|---|---|---|---|
| 001 | 123132 | ||
| 003 | BIBL | ||
| 005 | 20160527185822.0 | ||
| 008 | 910208s1991 enk b 001 0 eng | ||
| 010 | _a 91009103 | ||
| 015 | _aGB91-33735 | ||
| 020 |
_a0471927848 _c40.25 (U.S.) |
||
| 035 | _a(OCoLC)23178272 | ||
| 040 |
_aDLC _cDLC _dUKM |
||
| 049 | _aPUXA | ||
| 050 | 0 | 0 |
_aQA76.9.A96 _bD84 1991 |
| 082 | 0 | 0 |
_a511.3 _220 |
| 100 | 1 |
_aDuffy, David A. _2Local _989025 |
|
| 245 | 1 | 0 |
_aPrinciples of automated theorem proving _cDavid A. Duffy. |
| 260 |
_aChichester _aNew York _bWiley _cc1991. |
||
| 300 |
_axviii, 243 p. _c25 cm. |
||
| 490 | 0 |
_aWiley professional computing _2Local _9189091 |
|
| 504 | _aIncludes bibliographical references (p. 225-232) and index. | ||
| 650 | 0 |
_aAutomatic theorem proving. _2Local _956210 |
|
| 653 | _aMathematical logic | ||
| 999 |
_c103346 _d103346 |
||