×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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 …

Document Type
Reviewing State
Author
Classification
Software