Search
Now showing items 1-4 of 4
Unfold/fold transformations for disjunctive logic programs
(1997)
Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs.
Αναζήτηση πληροφοριών απο ηλεκτρονικό περιβάλλον: μια συγκριτική έρευνα ανάμεσα στους πληροφορικούς των βρετανικών και ελληνικών πανεπιστημίων
(Εθνικό Καποδιστριακό Πανεπιστήμιο Αθηνών, 1997)
TESTLAB: δοκιμές συστημάτων με χρήση τηλεματικής για την πρόσβαση των τυφλών και περιορισμένης όρασης αναγνωστών στις βιβλιοθήκες. Σύντομη περίληψη του Έργου
(Εθνικό Καποδιστριακό Πανεπιστήμιο Αθηνών, 1997)