Design and implementation of symbolic computation systems
Subtitle: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
By: Jacques Calmet, Carla Limongelli, eds.
Contributors: Calmet, Jacques.; Limongelli, Carla.
Series: Lecture notes in computer science ,; 1128
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 356
Subjects: System design -- Congresses; Automatic theorem proving -- Congresses; Mathematics -- Data processing -- Congresses
Notes: Includes bibliographical references.