| 000 | 00545pam a2200181a 44500 | ||
|---|---|---|---|
| 008 | 160408b1983 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.535 _bAu82 |
||
| 100 | _aSiekmann, Jorg | ||
| 245 | 1 |
_aAUTOMATION OF REASONING _cCLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1957-1970 |
|
| 260 |
_aBerlin _bSpringer-Verlag _c1983 |
||
| 440 |
_aSymbolic Computation _v |
||
| 650 | _aArtificial Intelligence | ||
| 650 | _aCybernetics | ||
| 650 | _aReasoning -- Data Processing | ||
| 700 | _aWrightson, Graham | ||
| 964 | _gCIRC | ||
| 997 | _aA88785 v.1 C | ||
| 999 |
_c286000 _d286000 |
||