TY - CONF
TI - Logic as a vehile for real life applications
AU - Σταματόπουλος, Παναγιώτης
AU - Καράλη, Ιζαμπώ
PY - 1997
SP - 205-210
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -