| 000 | 00992cam a22002773u 4500 | ||
|---|---|---|---|
| 001 | 10105047 | ||
| 003 | upatras | ||
| 005 | 20210117204134.0 | ||
| 008 | 991022s eng | ||
| 020 | _a540 19427 4 | ||
| 040 |
_aΒιβλιοθήκη ΕΑΙΤΥ _cΒιβλιοθήκη ΕΑΙΤΥ |
||
| 041 | 0 | _aeng | |
| 245 | 1 | 0 | _aComputing in Horn Clause Theories |
| 260 |
_aBerlin _bSpringer-Verlag _cc1988 |
||
| 300 | _axi, 322p. | ||
| 490 | 0 |
_aEATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa _v16 |
|
| 500 | _abibliography:pp.307-316 Εργαστηριο Συνδυαστικων Αλγοριθμων | ||
| 650 | 4 |
_aCOMPUTER PROGRAMMING _924276 |
|
| 650 | 4 |
_aHORN CLAUSES _9123521 |
|
| 650 | 4 |
_aLOGIC PROGRAMMING _9113457 |
|
| 650 | 4 |
_aΕΣΑ _9113671 |
|
| 700 | 1 |
_aPadawitz, Peter _4aut _96569 |
|
| 760 | 0 |
_aEATCS Monographs in Theoretical Computer Science _g16 |
|
| 942 | _2ddc | ||
| 999 |
_c89213 _d89213 |
||