Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings - Calmet, Jacques; Calmet, Jacques; Plaza, Jan; Plaza, Jan (Springer Berlin Heidelberg : Imprint: Springer, 1998)