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

Αποτελέσματα
	1.	Logic programming Proceedings of the 5th International Conference and Symposium από Bowen, Kenneth A [edt] Kowalski, Robert A [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Logic programming Proceedings of the 5th International Conference and Symposium από Bowen, Kenneth A [edt] Kowalski, Robert A [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985. από Wada, Eiiti [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 221 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic programming Proceedings of the 4th International Conference [Melbourne, 1987] από Lassez, Jean-Louis [edt] Σειρά: MIT Press Series in Logic Programming Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic programming Proceedings of the 4th International Conference [Melbourne, 1987] από Lassez, Jean-Louis [edt] Σειρά: MIT Press Series in Logic Programming Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic programming από Clark, K. L [edt] Tarnlund, S. A [edt] Σειρά: APIC Studies in Data Processing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Academic Press c1982 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 CLA. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112) από Apt, Krzysztof [edt] Indermark, Klaus [edt] Rodriguez-Artalejo, Mario [edt] Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	8.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143) από Comon, H [edt] Ganzinger, H [edt] Kirchner, C [edt] Internationales Begegnungs-und Forschungszentrum fur Informatik [fnd] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1). Προσθήκη στο καλάθι (αφαίρεση)
	9.	Constraint Logic Programming Selected Research από Benhamou, Frederic [edt] Colmerauer, Alain [edt] Σειρά: Logic Programming Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.11 BEN. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Programming with Constraints An Introduction από Marriott, Kim [aut] Stuckey, Peter J [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 MAR. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Computing in Horn Clause Theories από Padawitz, Peter [aut] Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa ; 16 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PAD. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Logic Programming and Databases από Ceri, S [aut] Gottlob, G [aut] Tanca, L [aut] Σειρά: Surveys in Computer Science / G.Schlageter-F.Stetter-E.Goto Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 CER. Προσθήκη στο καλάθι (αφαίρεση)
	13.	Foundations of inductive logic programming από Nienhuys-Cheng, Shan-Hwei [aut] Wolf de, Ronald [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1228 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 NIE. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Autonomous model-based diagnosis agents από Schroeder, Michael [aut] Σειρά: Kluwer International Series in Engineering and Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Kluwer Academic Publishers c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	15.	From logic to logic programming από Doets, Kees [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 DOE. Προσθήκη στο καλάθι (αφαίρεση)
	16.	The logic programming paradigm A 25-year perspective K.R. Apt,V.W. Marek,M. Truszczynski,D.S. Warren eds από Apt, Krzysztof [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 APT. Προσθήκη στο καλάθι (αφαίρεση)