×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
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. Lect. Notes Comput. Sci. 1104, 136-140 (1996).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software