ReadfeedReadfeed

TPHOLs 2000 (2000 Portland, Or.)

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