inside front cover- editors, aims & scope
Special Issue on “Intelligent Software Design”
Semantic foundations of medical information systems based on top-level ontologies
Implementing Lyee–Calculus in Java
Converting an imperative program to a declarative one
Facilitating formal specification acquisition by using recursive functions on context-free languages
calendar