| 000 | 01229nam a2200277 u 4500 | ||
|---|---|---|---|
| 001 | 10031844 | ||
| 003 | GR-PaULI | ||
| 005 | 20210831143135.0 | ||
| 008 | 000118s1999 ge eng | ||
| 020 | _a3540645896 | ||
| 040 |
_aGR-PaULI _cGR-PaULI _bgre _eAACR2 |
||
| 082 | 0 | 4 |
_a004.015 113 _223 |
| 111 |
_9176635 _aNATO Advanced Study Institute on Computational Logic _d(1997 : _cMarktoberdorf, Germany) |
||
| 245 | 1 | 0 |
_aComputational logic / _cedited by Ulrich Berger, Helmut Schwichtenberg. |
| 260 |
_aBerlin : _bSpringer, _c1999. |
||
| 300 |
_a444 σ. : _bεικ. ; _c25 εκ. |
||
| 490 | 1 |
_aNATO ASI series : Series F: Computer and systems sciences _v165. |
|
| 504 | _aΠεριλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. | ||
| 650 | 4 |
_aΕπιστήμη των υπολογιστών _94210 |
|
| 650 | 4 |
_aΛογική, Συμβολική και μαθηματική _9472 |
|
| 700 | 1 |
_aBerger, Ulrich, _d1956- _4 _eεπιμελητής. _9124786 |
|
| 700 | 1 |
_aSchwichtenberg, Helmut, _d1955- _4 _9147668 _eεπιμελητής. |
|
| 830 | 0 |
_9163532 _aNATO ASI series. _pComputer and systems sciences _v165. |
|
| 942 |
_2ddc _cBKN |
||
| 998 |
_cΜΠΟΥΡΑΣ _d2019-06 |
||
| 999 |
_c123690 _d123690 |
||