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 | _aA88786 v.2 C | ||
999 |
_c286002 _d286002 |