The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe Erica Melis OriginalPaper Pages: 255 - 282
Shortest Single Axioms for the Equivalential Calculus with CD and RCD Kahlil Hodgson OriginalPaper Pages: 283 - 316
Automated Deduction Techniques for Classification in Description Logic Systems M. ParamasivamDavid A. Plaisted OriginalPaper Pages: 337 - 364
Triviality and Dimension of a System of Algebraic Differential Equations Abdelilah Kandri RodyHamid MaâroufMohamed Ssafini OriginalPaper Pages: 365 - 385
The Eleventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE–98) Legacy Pages: 387 - 387