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

Αποτελέσματα
	1.	Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, C. J. Hogger και J. A. Robinson. από Gabbay, Dov M, 1945- [επιμελητής.] Hogger, Christopher John [επιμελητής.] Robinson, J. A. (John Alan) [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Oxford : Clarendon Press, 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 HAN. Προσθήκη στο καλάθι (αφαίρεση)
	2.	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. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Multi-objective optimization in computational intelligence theory and practice Lam Thu Bui, Sameer Alam από Bui, Lam Thu Alam, Sameer Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Hershey Information Science Reference 2008 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 BUI. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Flying Insects and Robots [electronic resource] edited by Dario Floreano, Jean-Christophe Zufferey, Mandyam V. Srinivasan, Charlie Ellington από Floreano, Dario Zufferey, Jean-Christophe Srinivasan, Mandyam V Ellington, Charlie SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	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. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Automated reasonic 33 basic research problems Larry Wos από Wos, Larry Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Jersey Prentice Hall 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 W. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Computer science today recent trends and developments edited by Jan Van Leeuwen από Leeuwen, J. Van ((Jan)), 1850-1924 Σειρά: Lecture notes in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 L. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Artificial intelligence programming από Charniak, Eugene [aut] Meehan, James R [aut] Riesbeck, Christopher K [aut] Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Hillsdale N.J. Lawrence Erlbaum Associates Publishers 1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 CHA. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Advances in genetic programming edited by Kenneth L. Kinnear από Kinnear, Kenneth E Σειρά: Complex adaptive systems Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge MIT Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 06.3 K, ... Προσθήκη στο καλάθι (αφαίρεση)
	10.	Genetic programming on the programming of computers by means of natural selection John R. Koza από Koza, John R Σειρά: Comlex adaptive systems Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge,MA The MIT Press 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.3 K, ... Προσθήκη στο καλάθι (αφαίρεση)
	11.	Logic programming formal methods and practical aplications edited by Christopher Beierle,Lutz Plumer από Beierle, Christoph Plumer, Lutz Σειρά: Studies in computer science and artificial intelligence ; 11 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 B, ... Προσθήκη στο καλάθι (αφαίρεση)
	12.	Paradigms of artificial intelligence programming : Case studies in common LISP / Peter Norvig. από Norvig, Peter Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Λεπτομέρειες δημοσίευσης: San Mateo, Calif : Morgan Kaufman Publishers, c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 006.3 NOR, ... ΒΚΠ - Πατρα (21)Ταξιθετικός αριθμός: 006.3 NOR, ... Χημείας (1)Ταξιθετικός αριθμός: 006.3 NOR. Προσθήκη στο καλάθι (αφαίρεση)