×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 80-87 (1998).
MSC:  68W30
BibTeX Cite
WorldCat.org
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer (ISBN 3-540-61511-3). 448-462 (1996).
MSC:  68T15
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software