Artificial intelligence and symbolic computation International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / - Calmet, Jacques.; Plaza, Jan. (Springer,)