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

Bibliographic Details
Corporate Authors:	CALCULEMUS-2000 Symposium St. Andrews, Scotland, Taylor & Francis
Other Authors:	Kerber, Manfred, 1956-, Kohlhase, Michael, 1964-
Format:	Conference Proceeding eBook
Language:	English
Published:	Natick, Mass. : A.K. Peters, ©2001.
Subjects:	Algebra > Data processing > Congresses. Automatic theorem proving > Congresses. Algèbre > Informatique > Congrès. Théorèmes > Démonstration automatique > Congrès. Algebra > Data processing Automatic theorem proving Computerwiskunde. Algebra. Automatische bewijsvoering. Electronic books. Conference papers and proceedings
Online Access:	Connect to the full text of this electronic book

Available Online