HEAL DSpace

Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνης

DSpace/Manakin Repository

Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνης

Title: Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνης;
Interactive theorem proving with Machine Learning
Κυτέας, Απόστολος; Kyteas, Apostolos
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/60098
http://dx.doi.org/10.26240/heal.ntua.27794

Show full item record

Files in this item

[PDF]
Name: kyteas_thesis.pdf
Size: 3.523Mb
Format: PDF
View/Open

This item appears in the following Collection(s)