Κύριοι συγγραφείς:	Κουκουτός, Εμμανουήλ Χ., Koukoutos, Emmanouil C.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Συμπερασμός τύπων Πολυμορφισμός Λογικός προγραμματισμός Προγραμματισμός υψηλότερης τάξης Type inference Polymorphism Logic programming Higher-order programming Prolog
Διαθέσιμο Online:	http://hdl.handle.net/123456789/8629