| 000 | 00451pam a2200169a 44500 | ||
|---|---|---|---|
| 008 | 160408b1979 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a519.4 _bB695c |
||
| 100 | _aBoyer, Robert S. | ||
| 245 | 1 | _aA COMPUTATIONAL LOGIC | |
| 260 |
_aNew York _bAcademic Press _c1979 |
||
| 300 | _axiv,397 | ||
| 500 | _aBibliographies : P. 385-387 | ||
| 650 | _aAutomatic Theorem Proving | ||
| 700 | _aMoore, J. Strother | ||
| 964 | _gCIRC | ||
| 997 | _aA66666 C | ||
| 999 |
_c294299 _d294299 |
||