TPHOLs 2001 (2001 Edinburgh, Scotland) profile picture

TPHOLs 2001 (2001 Edinburgh, Scotland)

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

Stand Alone

Theorem proving in higher order logics