Equational logic as a programming language

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: O'Donnell, Michael J. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985
Θέματα: