Holdings: Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq /

Main Author:	Βεκρής, Δημήτριος
Corporate Authors:	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών., Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Other Authors:	Παπασπύρου, Νικόλαος Σ
Format:	Book

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο	-	2	Προβολή	OPAC