- DSpace Home
- →
- Κεντρική Βιβλιοθήκη Ε.Μ.Π.
- →
- Ιδρυματικό Αποθετήριο
- →
- Διδακτορικές Διατριβές
- →
- View Item
HEAL DSpace
On logical methods for specifications: abstract and type-theoretic approaches
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
Files in this item
![[PDF]](/xmlui/themes/Heal/images/mimes/pdf.png "PDF file"){kind=small}
The following license files are associated with this item:
This item appears in the following Collection(s)
-
Διδακτορικές Διατριβές [2296]
Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού - Παρόμοια Διανομή 3.0 Ελλάδα
