Cover Image

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /

Show other versions (2)
Bibliographic Details
Corporate Author: CALCULEMUS-2000 Symposium St. Andrews, Scotland
Other Authors: Kerber, Manfred, 1956-, Kohlhase, Michael, 1964-
Format: Conference Proceeding Book
Language:English
Published: Natick, Mass. : A K Peters, [2001]
Subjects:
Algebra > Data processing > Congresses.
Automatic theorem proving > Congresses.
Search Result 2
Cover Image
Published 2001
Connect to the full text of this electronic book
Conference Proceeding eBook
Show all versions (3)