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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA155.7.E4 C35 2000
 
Call Number Status Get It
QA155.7.E4 C35 2000 Available