Εμφανίζονται
21 - 24
Αποτελέσματα από
24
για την αναζήτηση '
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Κατάργηση φίλτρων
Ταξιθετικός Αριθμός:
000 - Computer science, information, general works
Προτεινόμενα θέματα:
Λογική, Συμβολική και μαθηματική
Κατάργηση φίλτρων
Εμφάνιση φίλτρων (2)
Ταξιθετικός Αριθμός:
000 - Computer science, information, general works
Προτεινόμενα θέματα:
Λογική, Συμβολική και μαθηματική
Αποτελέσματα αναζήτησης
Εμφανίζονται
21 - 24
Αποτελέσματα από
24
για την αναζήτηση '
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
21
The resolution calculus /
ανά
Leitsch, Alexander
Έκδοση 1997
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
22
The temporal logic of reactive and concurrent systems specification
ανά
Manna, Zohar
,
Pnueli, Amir
Έκδοση 1992
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
23
Αυτόματα γλώσσες γραμματικές /
ανά
Μποζαπαλίδης, Συμεών
Έκδοση 2010
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
24
Νέες μέθοδοι εκμάθησης για ασαφή γνωστικά δίκτυα και εφαρμογές στην ιατρική και βιομηχανία
ανά
Παπαγεωργίου, Ελπινίκη Ι.
Έκδοση 2004
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Λήψη πλήρους κειμένου
Βιβλίο
[1]
Προηγούμενα
1
2
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Ίδρυμα
UPatras
24
Μορφή
Βιβλίο
24
Πρακτικό Συνεδρίου
3
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
500 - Natural sciences and mathematics
1
Συγγραφέας
Schwichtenberg, Helmut, 1955-
3
Gabbay, Dov M., 1945-
2
Abramsky, Samson, 1953-
1
Amadio, Roberto M.
1
Barwise, Jon
1
Bauer, Friedrich Ludwiq 1924-
1
Berger, Ulrich, 1956-
1
Brauer, Wilfried
1
Bundy, Alan
1
Curien, Pierre-Louis
1
Dowsing, R.D
1
Hansson, Sven Ove 1951-
1
Hasegawa, Masahito
1
Hoek, W. van der
1
Hogger, Christopher John
1
Huth, Michael, 1962-
1
Jones, Neil D.
1
Kapur, Deepak
1
Leitsch, Alexander
1
Maibaum, Thomas S. E., 1947-
1
Manna, Zohar
1
Meyer, John-Jules Ch
1
Moggi, Eugenio
1
NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany
1
NATO Advanced Study Institute on Logic and Algebra of Specification Marktoberdorf, Germany
1
NATO Advanced Study Institute on Logic of Computation Marktoberdorf, Germany
1
Nerode, Anil 1932-
1
Pnueli, Amir
1
Rayward-Smith, V.J
1
Robinson, J. A. (John Alan)
1
Προβολή όλων…
Γλώσσα
English
22
Greek
2
Έτος έκδοσης
από:
έως:
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών