- Αρχική Σελίδα
- →
- Κεντρική Βιβλιοθήκη Ε.Μ.Π.
- →
- Ιδρυματικό Αποθετήριο
- →
- Διδακτορικές Διατριβές
- →
- Εμφάνιση Τεκμηρίου
HEAL DSpace
Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods
Αποθετήριο DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Αρχεία σε αυτό το τεκμήριο
![[PDF]](/xmlui/themes/Heal/images/mimes/pdf.png "PDF file"){kind=small}
Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο:
Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)
-
Διδακτορικές Διατριβές [1997]
Εκτός από όπου ορίζεται κάτι διαφορετικό, αυτή η άδεια περιγράφεται ως Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα
