TY - CONF
TI - Computational logic: theory meets practice
AU - Κάκας, Αντώνης Κ.
PY - 1997
SP - 347-348
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -