Design and implementation of symbolic computation systems
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; London
Language: eng
Number of pages: 356
Subjects: System design -- Congresses.; Automatic theorem proving -- Congresses.; Mathematics -- Data processing -- Congresses.
Notes: Includes bibliographical references (p. ).