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

Ταξινόμηση
Αποτελέσματα
1.
Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από
  • Schlechta, Karl
Σειρά: Lecture notes in computer science ; 1187
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S.
2.
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings D. Kapur (ed.) από
  • Kapur, Deepak [edt]
Σειρά: Lecture notes in artificial intelligence ; 607
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 INT.
3.
Automated deduction - CADE-12 proceedings Alan Bundy (Ed.) από
  • Bundy, Alan
Σειρά: Lecture notes in artificial intelligence ; 814
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 B.
4.
Logic programming and nonmonotonic reasoning proceedings V.W. Marek, A. Nerode, M. Truszczynski (eds) Σειρά: Lecture notes in artificial intelligence ; 928
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer Verlag 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 Μ.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud