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

Ταξινόμηση
Αποτελέσματα
1.
Recursion-theoretic hierarchies / Peter G. Hinman. από
  • Hinman, Peter G [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ...
2.
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare. από
  • Soare, R. I. (Robert Irving), 1940- [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 SOA, ...
3.
General recursion theory : an axiomatic approach / Jens E. Fenstad. από
  • Fenstad, Jens Erik [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 FEN.
4.
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich. από
  • Boerger, Egon, 1946- [συγγραφέας.]
  • Grädel, Erich, 1958- [συγγραφέας.]
  • Gurevich, Yuri [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOR.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud