Πλοήγηση ανά Θέμα reducibility method
Εμφάνιση αποτελεσμάτων 1 έως 1 από 1
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
9-Νοε-2010 | Τυποποίηση Και Τερματισμός Στο Λ-λογισμό | Ιωάννης Κοκκίνης | Κολέτσος Γεώργιος |
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
9-Νοε-2010 | Τυποποίηση Και Τερματισμός Στο Λ-λογισμό | Ιωάννης Κοκκίνης | Κολέτσος Γεώργιος |