Μετάβαση στο περιεχόμενο
Toggle navigation
Γλώσσα
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Απόδειξη ορθότητας του μετασχη...
Παρόμοια τεκμήρια
Εμφάνιση παραπομπής
Αποστολή με SMS
Αποστολή με email
Αποθήκευση
Αποθήκευση σε RefWorks
Αποθήκευση σε EndNoteWeb
Αποθήκευση σε EndNote
Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq /
Κύριος συγγραφέας:
Βεκρής, Δημήτριος
Συγγραφή απο Οργανισμό/Αρχή:
Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Άλλοι συγγραφείς:
Παπασπύρου, Νικόλαος Σ
Μορφή:
Βιβλίο
Γλώσσα:
Greek
Τεκμήρια
Περιγραφή
Παρόμοια τεκμήρια
Λεπτομερής προβολή
Παρόμοια τεκμήρια
Απόδειξη ορθότητας συλλέκτη σκουπιδιών αντιγραφής
ανά: Χαριτάτος, Αλέξανδρος-Ηρόδοτος Δ., κ.ά.
Έκδοση: (1970)
Υλοποίηση συναρτησιακών γλωσσών προγραμματισμού με το μετασχηματισμό διακλαδιζόμενων διαστάσεων /
ανά: Γρίβας, Αθανάσιος Ι
Στοιχειώδης απόδειξη του θεωρήματος πρώτων αριθμών
ανά: Γεωργάκης, Νικήτας, κ.ά.
Έκδοση: (2014)
Η Μαθηματική Απόδειξη στο σχολείο
ανά: Παπαδημητρίου, Αργυρώ-Αλίσια Π., κ.ά.
Έκδοση: (1970)
Απόδειξη του θεωρήματος του Kuratowski
ανά: Δάρης, Νικόλαος Κ., κ.ά.
Έκδοση: (1970)
×
Φορτώνει......