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

Ταξινόμηση
Αποτελέσματα
1.
Logical frameworks / edited by Gérard Huet, G. Plotkin. από
  • Huet, Gerard [επιμελητής.]
  • Plotkin, G. (Gordon), 1946- [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 HUE.
2.
Logical environments / edited by Gérard Huet, Gordon Plotkin. από
  • Huet, Gerard [επιμελητής.]
  • Plotkin, G. (Gordon), 1946- [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York, NY, USA : Cambridge University Press, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 HUE.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud