Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
"automated reasoning"
'
Μετάβαση στο περιεχόμενο
Είσοδος
English
Ελληνικά
Γλώσσα
EBSCO Discovery Service
Προσαρμοσμένη Αναζήτηση
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Αποτελέσματα αναζήτησης - "automated reasoning"
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Artificial intelligence
2
Automatic theorem proving
2
Computer logic
1
Computer programming
1
Congresses
1
Εμφανίζονται
1 - 3
Αποτελέσματα από
3
για την αναζήτηση '
"automated reasoning"
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Automated Reasoning
:
από
Wos, Larry
Δημοσίευση 1992
Βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Automated Reasoning
:
Δημοσίευση 1992
Πρακτικό Συνεδρίου
Βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Handbook of practical logic and
automated reasoning
από
Harrison, J. (John) 1966-
Δημοσίευση 2011
Βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης:
Λήψη RSS
Αποστολή αναζήτησης με email
Αποθήκευση αναζήτησης
Πίσω
Περιορισμός αποτελεσμάτων
Η σελίδα θα φορτωθεί εκ νέου όταν επιλεγεί ή αποεπιλεγεί κάποιο φίλτρο.
Ίδρυμα
Aegean
3 αποτελέσματα
3
Βιβλιοθήκη
Σάμος
3 αποτελέσματα
3
Μορφή
Βιβλίο
3 αποτελέσματα
3
Πρακτικό Συνεδρίου
1 αποτελέσματα
1
Ταξιθετικός Αριθμός
000 - Computer science, information, general works
3 αποτελέσματα
3
Συγγραφέας
Boyle, Jim
1 αποτελέσματα
1
Harrison, J. (John) 1966-
1 αποτελέσματα
1
IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China
1 αποτελέσματα
1
Overbeek, Ross A.
1 αποτελέσματα
1
Shi, Zhongzhi
1 αποτελέσματα
1
Wos, Larry
1 αποτελέσματα
1
Γλώσσα
English
3 αποτελέσματα
3
Έτος έκδοσης
από:
έως: