×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

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

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software