Πλοήγηση ανά Θέμα Coq, CoqGym, Αναζήτηση Μόντε Κάρλο σε Δέντρα (MCTS), ASTactic, TacTok, Passport, Απόδειξη Θεωρημάτων, Διαδραστική Απόδειξη Θεωρημάτων, Καθοδηγούμενη Σύνθεση Αποδείξεων, Βοηθοί Αποδείξεων, Μοντέλα Μακράς - Βραχυπρόθεσμης Μνήμης
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
19-Οκτ-2023 | Αυτόματη σύνθεση προγραμμάτων με χρήση τεχνητής νοημοσύνης | Κυτέας, Απόστολος | Παπασπύρου Νικόλαος |