A- A0 A+ | EN
Πλοήγηση στο ΕΑΔΔ ανά "Συγγραφέας" : Συμεωνίδου, Ιωάννα Α.
Πηγαίνετε σε ένα σημείο του ευρετηρίου:
Ή πληκτρολογήστε ένα έτος:
Ταξινόμηση ανά:
Σε σειρά:
Αποτελέσματα/σελίδα:
Αποτελέσματα 1 έως 1 από 1
ΗμερομηνίαΤίτλοςΣυγγραφέαςΚείμενο Διατριβής
2018Semantics of negation in extensional higher-order logic programmingΣυμεωνίδου, Ιωάννα Α.
Αποτελέσματα 1 έως 1 από 1