Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings - AISC 2004 (2004 : Linz, Austria); Buchberger, Bruno; Campbell, J. A., 1940- (Berlin ; New York : Springer, 2004)
Includes bibliographical references and index.
Keywords: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses