TY - THES
TI - Formalized Proofs of the Extension of Consistent Approximation Fixpoint Theory
AU - ΠΑΝΑΓΙΩΤΟΠΟΥΛΟΣ ΓΕΩΡΓΙΟΣ
PY - 2024
C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -