Browsing by Subject Coq, CoqGym, Αναζήτηση Μόντε Κάρλο σε Δέντρα (MCTS), ASTactic, TacTok, Passport, Απόδειξη Θεωρημάτων, Διαδραστική Απόδειξη Θεωρημάτων, Καθοδηγούμενη Σύνθεση Αποδείξεων, Βοηθοί Αποδείξεων, Μοντέλα Μακράς - Βραχυπρόθεσμης Μνήμης
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
19-Oct-2023 | Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνης | Κυτέας, Απόστολος | Παπασπύρου Νικόλαος |