Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Henocque, Laurent
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Henocque, Laurent
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Henocque, Laurent
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings...
Έκδοση 2002
Άλλοι συγγραφείς:
“…
Henocque
,
Laurent
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Artificial Intelligence
Artificial intelligence
Computer science-Mathematics
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Mathematical logic
Numeric Computing
Numerical analysis
Symbolic and Algebraic Manipulation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών