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

Αποτελέσματα
	1.	Algorithms and theory of computation handbook / edited by Mikhail J. Atallah. από Atallah, Mikhail [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Boca Raton : CRC Press, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (3)Ταξιθετικός αριθμός: 511.3 ATA, ... ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.13 ALG, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 005.13 ALG. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. από Odifreddi, Piergiorgio, 1950- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 125, 143. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ODI. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Tools and techniques in modal logic / Marcus Kracht. από Kracht, Marcus [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 142. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : Elsevier, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 511.3 KRA. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας