Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Organize your reading life.

Track all your reads in one place. Custom shelves, reading goals, and more. No social stuff, no ads, no distractions.