Cover Image

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

Show other versions (2)
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
Search Result 2
Cover Image
Published 2001
Conference Proceeding Book
Show all versions (3)