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

Αποτελέσματα
	1.	Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg. από NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany) Berger, Ulrich, 1956- [επιμελητής.] Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 165. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Logic of computation / edited by Helmut Schwichtenberg. από NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 157. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg. από NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany) Bauer, Friedrich Ludwiq, 1924- [επιμελητής.] Brauer, Wilfried [επιμελητής.] Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 94. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Προσθήκη στο καλάθι (αφαίρεση)

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