Εμφανίζονται 1 - 1 από 1 για την αναζήτηση: 'Voronkov, Andrei, 1959-', χρόνος αναζήτησης: 0,07δλ
Εξώφυλλο
Στοιχεία έκδοσης 2001
Άλλοι συγγραφείς: '; “...Voronkov, Andrei, 1959-...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Στα αγαπημένα
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email —

Σχετικά θέματα

Automatic theorem proving Qualitative reasoning