Issue 3/1998
Content (7 Articles)
Automated Deduction Techniques for Classification in Description Logic Systems
M. Paramasivam, David A. Plaisted
Triviality and Dimension of a System of Algebraic Differential Equations
Abdelilah Kandri Rody, Hamid Maârouf, Mohamed Ssafini