TY - THES
TI - Implementation of Constructive Negation in Extensional Higher-Order Logic Programming
AU - Dona Ergys
PY - 2017
C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -