×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Bundy, Alan (ed.), Automated deduction – CADE-12. 12th International conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer (ISBN 3-540-58156-1). 162-176 (1994).
MSC:  68V15 03B35
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Classification