Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P

ανά Κεραμύδας, Ελευθέριος
Έκδοση 2004

Ασαφή δίκτυα Petri

ανά Κυρίτσης, Χαρίλαος
Έκδοση 2008

Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων

ανά Γριβοκωστοπούλου, Φωτεινή
Έκδοση 2009

Δίκτυα Galois εισαγωγή, προσεγγίσεις και στατιστικές συνεπαγωγές

ανά Τράντα, Αντωνία Ζ.
Έκδοση 2009

Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας

ανά Τσιμά, Αλεξάνδρα
Έκδοση 2006

Νέες μέθοδοι εκμάθησης για ασαφή γνωστικά δίκτυα και εφαρμογές στην ιατρική και βιομηχανία

ανά Παπαγεωργίου, Ελπινίκη Ι.
Έκδοση 2004

Στατιστική ανάλυση πολυδιάστατων δεδομένων η παραγοντική ανάλυση αντιστοιχιών στην ασαφή λογική

ανά Θεοδώρου, Ιωάννης Α.
Έκδοση 2005