Open menu
TPHOLs '96 (1996 Turku, Finland)
Theorem proving in higher order logics
Theorem proving in higher order logics
Feedback