| 000 | 01175nom a2200325 u 4500 | ||
|---|---|---|---|
| 001 | 10070727 | ||
| 003 | upatras | ||
| 005 | 20210916122813.0 | ||
| 008 | 090513s2005 eng | ||
| 020 | _a9783540273592 | ||
| 040 |
_aGR-PaULI _cGR-PaULI |
||
| 041 | 0 | _aeng | |
| 100 | 1 |
_aKluge, William S. _967306 |
|
| 245 | 1 | 0 |
_aAbstract Computing Machines _h[electronic resource] _bA Lambda Calculus Perspective _cby W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa |
| 260 |
_aBerlin, Heidelberg _bSpringer-Verlag Berlin Heidelberg _c2005 |
||
| 300 | _bv.: digital | ||
| 490 | 0 | _aTexts in Theoretical Computer Science, An EATCS Series | |
| 650 | 4 |
_aComputer science _913995 |
|
| 650 | 4 |
_aLogic design _964563 |
|
| 650 | 4 |
_aComputer Science _964565 |
|
| 650 | 4 |
_aProgramming Languages, Compilers, Interpreters _964661 |
|
| 650 | 4 |
_aLogics and Meanings of Programs _964567 |
|
| 700 | 1 |
_aBrauer, W. _967307 |
|
| 700 | 1 |
_aRozenberg, Grzegorz _971196 |
|
| 700 | 1 |
_aSalomaa, A. _96191 |
|
| 760 | 1 | _aTexts in Theoretical Computer Science, An EATCS Series | |
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/b138965 |
| 942 | _2ddc | ||
| 999 |
_c46972 _d46972 |
||