| 000 | 00597 a2200157 4500 | ||
|---|---|---|---|
| 001 | 2700 | ||
| 010 | _a0387120440 | ||
| 010 | _a3540120440 | ||
| 090 | _a2700 | ||
| 100 | _a20170516 frey50 | ||
| 101 | _aeng | ||
| 200 | 0 |
_aAutomation of reasoning, 2 _eclassical papers on computational logic, 1967-1970 _fedited by Jörg Siekmann and Graham Wrightson |
|
| 210 |
_aBerlin _cSpringer _d1983 |
||
| 215 |
_axii, 637 p. _d25 cm |
||
| 225 | 0 |
_aSymbolic computation _iArtificial intelligence _v |
|
| 606 | _aThéorie de l'information, codage, linguistique, automates, concurrence, systèmes de transition, vérification | ||
| 099 | _tNC | ||