Αποτελέσματα
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Computing in Horn clause theories Peter Padawitz απόΣειρά:
Τύπος υλικού:  Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
Intelligent tutoring systems proceedings...[of] Third International Conference, ITS '96, Montreal, Canada, June 12-14, 1996 Claude Frasson, Gilles Gauthier, Alan Lesgold, (Eds.) από
- Frasson, Claude [edt]
- Gauthier, Gilles [edt]
- Lesgold, Alan [edt]
Σειρά: Lecture notes in computer science ; 1086
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 371.334 INT.
|
|
|
16.
|
Intelligent tutoring systems proceedings...[of] 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998 Barry P. Goettl, Henry M. Halff ...[et al.], (Eds.) από
- Goettl, Barry P [edt]
- Halff, Henry M [edt]
Σειρά: Lecture notes in computer science ; 1452
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 371.334 INT.
|
|
|
17.
|
|
|
|
18.
|
Automata, languages and programming proceedings ...[of] 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.) από
- Orejas, Fernando [edt]
- Σπυράκης, Παύλος Γ [edt]
- Leeuwen, J. Van ((Jan)), 1850-1924 [edt]
Σειρά: Lecture notes in computer science ; 2076
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 O.
|
|
|
19.
|
|
|
|
20.
|
|
