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.
Description
Physical Description:xi, 270 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:1568811454 (alk. paper)