Readfeed

TPHOLs '96 (1996 Turku, Finland)

  • Theorem proving in higher order logicsTheorem proving in higher order logics
  • Theorem proving in higher order logicsTheorem proving in higher order logics