HEAL DSpace

Formal frameworks on proving and inquiry

DSpace/Manakin Repository

Formal frameworks on proving and inquiry

Title: Formal frameworks on proving and inquiry;
Τυπικά πλαίσια για την κατασκευή αποδείξεων και την διεξαγωγή έρευνας
Γκαντζούνης, Αστέριος; Gkantzounis, Asterios
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/64905
http://dx.doi.org/10.26240/heal.ntua.32599

Show full item record

Files in this item

[PDF]
Name: PhD - Gkantzounis ...
Size: 1.518Mb
Format: PDF
View/Open

This item appears in the following Collection(s)