A- A0 A+ | EN
Πλοήγηση στο ΕΑΔΔ ανά "Συγγραφέας" : Charalambidis, Angelos C.
Πηγαίνετε σε ένα σημείο του ευρετηρίου:
Ή πληκτρολογήστε ένα έτος:
Ταξινόμηση ανά:
Σε σειρά:
Αποτελέσματα/σελίδα:
Αποτελέσματα 1 έως 1 από 1
ΗμερομηνίαΤίτλοςΣυγγραφέαςΚείμενο Διατριβής
2014Prοοf procedure for extensional higher-order logic programmingΧαραλαμπίδης, Άγγελος Χ.
Αποτελέσματα 1 έως 1 από 1