Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Αποτελέσματα αναζήτησης για 'ccl=an:472'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Περιορισμός μόνο στα διαθέσιμα τεκμήρια
Συγγραφείς
Bundy, Alan
Kapur, Deepak
Schlechta, Karl
Βιβλιοθήκες που διαθέτουν αντίτυπα
ΒΚΠ - Πατρα
Τύποι τεκμηρίου
Book [21]
Τοποθεσίες
Βασική Συλλογή
Σειρά
Lecture notes in art...
Lecture notes in com...
Θέματα
Λογική, Συμβολική κα...
Τεχνητή νοημοσύνη
Η αναζήτηση επέστρεψε 4 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Απριλιανό καθεστώς
[ Νέα λίστα ]
Αποτελέσματα
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,
Φόρμα επικοινωνίας