×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Boulton, Richard J. (ed.) et al., Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2152, 27-42 (2001).
MSC:  68W30 68T15
BibTeX Cite
Full Text: Link
WorldCat.org
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

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software