Theory of Deductive Systems and Its Applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Maslov, S. Y. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987
Σειρά:MIT Press Series in the Foundations of Computing
Θέματα:

ΒΚΠ - Πατρα: ALFf

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