Artificial intelligence and symbolic mathematical computation
Subtitle: international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
By: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.).
Contributors: Calmet, Jacques.; Campbell, J. A., 1940-; Pfalzgraf, Jochen.
Series: Lecture notes in computer science,; 1138
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 379
Subjects: Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses
Description: Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.
Notes: Includes bibliographical references and index.