×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 98-113 (2001).
MSC:  68T15 68W30
BibTeX Cite
WorldCat.org
Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 384-391 (1997).
MSC:  68T15 68W30
BibTeX Cite
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software