Open menu
TPHOLs '97 (1997 Murray Hill, N.J.)
Theorem proving in higher order logics
Feedback