Artificial intelligence and symbolic mathematical computing
Subtitle: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings
By: Jacques Calmet, John A. Campbell (eds).
Contributors: Calmet, Jacques.; Campbell, J. A., 1940-
Series: Lecture notes in computer science ;; 737
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 305
Subjects: Artificial intelligence -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.