Abstract Computing Machines A Lambda Calculus Perspective

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Kluge, William S.
Άλλοι συγγραφείς: Brauer, W., Rozenberg, Grzegorz, Salomaa, A.
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Σειρά:Texts in Theoretical Computer Science, An EATCS Series
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/b138965
LEADER 01274nom a2200337 u 4500
001 10070727
003 upatras
005 20210916122813.0
008 090513s2005 eng
020 |a 9783540273592 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Kluge, William S.   |9 67306 
245 1 0 |a Abstract Computing Machines  |h [electronic resource]  |b A Lambda Calculus Perspective  |c by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2005 
300 |b v.: digital 
490 0 |a Texts in Theoretical Computer Science, An EATCS Series 
650 4 |a Computer science  |9 13995 
650 4 |a Logic design  |9 64563 
650 4 |a Computer Science  |9 64565 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
650 4 |a Logics and Meanings of Programs  |9 64567 
700 1 |a Brauer, W.  |9 67307 
700 1 |a Rozenberg, Grzegorz  |9 71196 
700 1 |a Salomaa, A.  |9 6191 
760 1 |a Texts in Theoretical Computer Science, An EATCS Series 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/b138965 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 72182  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 46972  |d 46972