Η αναζήτηση επέστρεψε 3 αποτελέσματα.

Ταξινόμηση
Αποτελέσματα
1.
Semantics and Logic of Computation by Σειρά: Publications of the Newton Institute ; 14
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge University Press
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PIT.
2.
Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer by Σειρά: Publications of the Newton Institute ; 14
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.151 P.
3.
Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. by Σειρά: London Mathematical Society lecture note series ; 177.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στο αναγνωστήριο: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 LMS.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud