| 000 | 00660 a2200169 4500 | ||
|---|---|---|---|
| 001 | 2699 | ||
| 010 | _a3540120432 | ||
| 010 | _a0387120432 | ||
| 090 | _a2699 | ||
| 100 | _a20170516 frey50 | ||
| 101 | _aeng | ||
| 200 | 1 |
_aAutomation of reasoning _iclassical papers on computational logic, 1957-1966 _fedited by Jörg Siekmann and Graham Wrightson. |
|
| 210 |
_aBerlin _aHeidelberg _aNew York _cSpringer _d1983. |
||
| 215 |
_aXII- 525 p. _d25 cm. |
||
| 225 | 0 |
_aSymbolic computation. Artificial intelligence. _v1 |
|
| 606 | _aThéorie de l'information, codage, linguistique, automates, concurrence, systèmes de transition, vérification | ||
| 700 | 1 |
_aWrightson _bGraham. _4070 |
|
| 099 | _tMON | ||