TPHOLs 2007 (2007 Kaiserslautern, Germany) profile picture

TPHOLs 2007 (2007 Kaiserslautern, Germany)

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

Stand Alone

Theorem proving in higher order logics