Title Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium / edited by Manfred Kerber and Michael Kohlhase

Published Natick, Mass. : A K Peters, [2001] ©2001

Copies

Location	Call no.	Vol.	Availability
W'PONDS	512.0285 Cal/Sca 2000		AVAILABLE

Description xi, 270 pages : illustrations ; 24 cm Bibliography Includes bibliographical references and index Subject Algebra -- Data processing -- Congresses. Automatic theorem proving -- Congresses. Genre/Form Conference papers and proceedings. Author Kerber, Manfred, 1956- Kohlhase, Michael, 1964- Symposium on the integration LC no. 00065015 ISBN 1568811454 alkaline paper

Other Titles CALCULEMUS-2000

  Permalink