Browsing by Author Δημήτρης Βεκρής
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
28-Jan-2009 | Απόδειξη Ορθότητας Του Μετασχηματισμού Διακλαδιζόμενων Διαστάσεων Στο Coq | Δημήτρης Βεκρής | Παπασπύρου Νικόλαος |
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
28-Jan-2009 | Απόδειξη Ορθότητας Του Μετασχηματισμού Διακλαδιζόμενων Διαστάσεων Στο Coq | Δημήτρης Βεκρής | Παπασπύρου Νικόλαος |