Open menu
TPHOLs 2000 (2000 Portland, Or.)
Theorem proving in higher order logics
Theorem proving in higher order logics