| 000 | 01272nam a2200277 u 4500 | ||
|---|---|---|---|
| 999 |
_c123710 _d123710 |
||
| 001 | 10031864 | ||
| 003 | GR-PaULI | ||
| 005 | 20210117210126.0 | ||
| 008 | 000118s1997 ge eng | ||
| 020 | _a3540629637 | ||
| 040 |
_aGR-PaULI _cGR-PaULI _bgre _eAACR2 |
||
| 082 | 0 | 4 |
_a005.1 _223 |
| 111 |
_9176629 _aNATO Advanced Study Institute on Logic of Computation _d(1995 : _cMarktoberdorf, Germany) |
||
| 245 | 1 | 0 |
_aLogic of computation / _cedited by Helmut Schwichtenberg. |
| 260 |
_aBerlin : _bSpringer, _c1997. |
||
| 300 |
_avi, 394 σ. : _c25 εκ. |
||
| 490 | 1 |
_aNATO ASI series : Series F: Computer and systems sciences _v157. |
|
| 500 | _aProceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995 | ||
| 504 | _aΠεριλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. | ||
| 650 | 4 |
_aΕπιστήμη των υπολογιστών _94210 |
|
| 650 | 4 |
_aΛογική, Συμβολική και μαθηματική _9472 |
|
| 700 | 1 |
_aSchwichtenberg, Helmut, _d1955- _4 _eεπιμελητής. _9147668 |
|
| 830 | 0 |
_9163532 _aNATO ASI series. _pComputer and systems sciences _v157. |
|
| 942 |
_2ddc _cBKN |
||
| 998 |
_cΜΠΟΥΡΑΣ _d2019-06 |
||