Αποτελέσματα αναζήτησης - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Εμφανίζονται 1 - 2 Αποτελέσματα από 2
-
1
Proof technology and computation
Έκδοση 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Ταξινομικός Αριθμός: Φορτώνει…An electronic book accessible through the World Wide Web; click to view
Βρίσκεται σε: Φορτώνει…
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
2
Proof technology and computation
Έκδοση 2006“…NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany…”
Ταξινομικός Αριθμός: Φορτώνει…An electronic book accessible through the World Wide Web; click to view
Βρίσκεται σε: Φορτώνει…
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο