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

Αποτελέσματα
	1.	Descriptive complexity / Neil Immerman. από Immerman, Neil, 1953- [συγγραφέας] Σειρά: Graduate texts in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 IMM, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi. από Li, Ming, 1955- [συγγραφέας.] Vitányi, P. M. B [συγγραφέας.] Σειρά: Graduate texts in computer science (Springer-Verlag New York Inc.) Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: New York : Springer, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 L, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	Logic for applications Anil Nerode, Richard A. Shore από Nerode, Anil, 1932- [aut] Shore, Richard A Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (6)Ταξιθετικός αριθμός: 005.1 Ν, ... Προσθήκη στο καλάθι (αφαίρεση)

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