| 000 | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 005 | 20251203091135.0 | ||
| 020 | _a013054552X | ||
| 082 |
_a006.3 _bWOS |
||
| 100 | _aWos, Larry | ||
| 245 |
_aAutomated reasoning _b33 basic research problems |
||
| 260 |
_aNew Jersey _bPrentice-Hall _c1988 |
||
| 300 |
_axiii,319p. _b22 cm. _cPB. |
||
| 630 | _aAutomatic theorem proving | ||
| 630 | _aArtificial intelligence | ||
| 964 |
_bEng _c _d _e _f _g_ |
||
| 997 | _a34367 LIBSC C | ||
| 999 |
_c31444 _d31444 |
||