×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 19-33 (1997).
MSC:  03B35 03B25
PDF BibTeX XML Cite
Full Text: DOI
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, 246-260 (1996).
MSC:  68T15 68Q25
PDF BibTeX XML Cite
Full Text: DOI