| 000 | 00463nam a22001817a 4500 | ||
|---|---|---|---|
| 001 | 320 | ||
| 003 | ENG | ||
| 005 | 20240731094459.0 | ||
| 008 | 230919b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aENG _beng _cENG |
||
| 082 |
_223 _a001.535 _bL898 |
||
| 100 | _aLoveland,lonald W | ||
| 245 | _aAutomated theorem proving | ||
| 260 |
_aamsterdam _bNorth-Holand _c1978 |
||
| 300 | _a405P | ||
| 650 | _xAUTOMATIC THEOREM PROVING | ||
| 942 |
_2ddc _cBK _iE80-5359 _n0 |
||
| 999 |
_c9038 _d9038 |
||