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

Ταξινόμηση
Αποτελέσματα
1.
Computability and logic / George S. Boolos, Richard C. Jeffrey. από
  • Boolos, George S [συγγραφέας]
  • Jeffrey, Richard C [συγγραφέας]
Έκδοση: 3rd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOO.
2.
Computability : an introduction to recursive function theory / Nigel Cutland. από
  • Cutland, Nigel [συγγραφέας]
Έκδοση: Reprint.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1989, c1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 519.4 CUT, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud