Abstract Computing Machines A Lambda Calculus Perspective
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2005
|
Σειρά: | Texts in Theoretical Computer Science, An EATCS Series
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/b138965 |
Φυσική περιγραφή: | v.: digital |
---|---|
ISBN: | 9783540273592 |