×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 10 p. (2001).
MSC:  68T30
BibTeX Cite
Full Text: Link
WorldCat.org
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