TY - CONF
TI - Application of logic to computer science
AU - Ζάχος, Ευστάθιος
PY - 1997
SP - 349-350
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -