Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Cialdea Mayer, Marta
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Cialdea Mayer, Marta
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Cialdea Mayer, Marta
'
, χρόνος αναζήτησης: 0,02δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /
Έκδοση 2003
Άλλοι συγγραφείς:
“…
Cialdea
Mayer
,
Marta
…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Full Text via HEAL-Link
Ηλεκτρονική πηγή
Ηλ. βιβλίο
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Artificial Intelligence
Artificial intelligence
Computer Science, general
Computer programming
Computer science
Mathematical Logic and Formal Languages
Mathematical logic
Number Theory
Number theory
Programming Techniques
Software Engineering
Software engineering
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών