Πλοήγηση ανά Θέμα induction
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
13-Δεκ-2017 | Enabling Reasoning And Verification Support For Intelligent Agent Systems, Using Formal Methods | Aikaterini E. Ksystra | Φράγκος Παναγιώτης |