TPHOLs 2002 (15th 2002 Hampton, Va.) profile picture

TPHOLs 2002 (15th 2002 Hampton, Va.)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings