Equational logic as a programming language

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

ΒΚΠ - Πατρα: ALFf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFf
Ταξιθετικός Αριθμός: 005.13 O'DO
Αντίγραφο 1 Στη βιβλιοθήκη