×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software