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

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

Show other versions (2)
Saved in:
Bibliographic Details
Corporate Author: Calculemus-2000 Symposium (2000 : St. Andrews, Scotland)
Other Authors: Kerber, Manfred, Kohlhase, Michael
Format: Conference Proceeding Book
Language:English
Published: Natick, Mass. A.K. Peters c2001.
Subjects:
Algebra > Data processing > Congresses.
Automatic theorem proving > Congresses.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xi, 270 pages: illustrations; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:1568811454

Similar Items