Symbolic computation and automated reasoning
Subtitle: the CALCULEMUS-2000 Symposium
By: edited by Manfred Kerber and Michael Kohlhase.
Contributors: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-
Publisher: A K Peters
Published: 2001
Place of publication: Natick, Mass
Language: eng
Number of pages: 270
Subjects: Algebra -- Data processing -- Congresses.; Automatic theorem proving -- Congresses.
Genres: Congresses.
Other titles: CALCULEMUS-2000
Notes: Includes bibliographical references and index.