| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a067650 | ||
| 020 | _a3540120432 | ||
| 082 |
_a001.535 _bN832.1 |
||
| 245 |
_aAutomation of reasoning -1 _bclassical papers on computational logic 1957-1966 _ced. by Jorg Siekmann and Graham Wrightson |
||
| 260 |
_aBerlin _bSpringer-Verlag _c1983 |
||
| 300 | _axii, 525p. | ||
| 690 | _aLogic - Data processing; Artificial intelligence; Computer programming language | ||
| 700 | _aSiekmann, Jorg., ed. | ||
| 700 | _aWrightson, Graham., ed. | ||
| 999 |
_c65336 _d65336 |
||