TY - CONF
TI - Modular logic programming and abstract data types
AU - Καράλη, Ιζαμπώ
AU - Χαλάτσης, Κωνσταντίνος
PY - 1997
SP - 229-236
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -