Symbolic computation and automated reasoning : the calculemus-2000 symposium /

Bibliographic Details
Corporate Authors:	Taylor & Francis, Taylor and Francis
Other Authors:	Kerber, Manfred, 1956- (Editor), Kohlhase, Michael, 1964- (Editor)
Format:	eBook
Language:	English
Published:	Boca Raton, FL : A K Peters/CRC Press, an imprint of Taylor and Francis, 2001.
Edition:	First edition.
Subjects:	Algebra > Data processing > Congresses. Algebra > Data processing. Algebra. Automatic theorem proving > Congresses. Automatic theorem proving. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online