National Technical University of Athens
School of Electrical and Computer Engineering
Artemis is Live!
Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.
Browsing by Author Δημήτρης Βεκρής
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Supervisor |
|---|---|---|---|
| 28-Jan-2009 | Απόδειξη Ορθότητας Του Μετασχηματισμού Διακλαδιζόμενων Διαστάσεων Στο Coq | Δημήτρης Βεκρής | Παπασπύρου Νικόλαος |