×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Gunter, Elsa L. (ed.) et al., Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1275, 275-290 (1997).
MSC:  03B35 68Q60 03B70 68T15 03B15
PDF BibTeX Cite

Filter Results by …

Classification
all top 3
Software