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

Αποτελέσματα
	1.	Automated reasoning and the discovery of missing and elegant proofs Larry Wos and Gail W. Pieper από Wos, Larry Pieper, Gail W Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Jersey Rinton Press 2003 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 WOS. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle από Wos, Larry Lusk, Ewing Overbeek, Ross Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Englewood Cliffs, NJ Prentice-Hall 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 W. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Automated reasonic 33 basic research problems Larry Wos από Wos, Larry Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Jersey Prentice Hall 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 W. Προσθήκη στο καλάθι (αφαίρεση)

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