Malcolm Newey profile picture

Malcolm Newey

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

Stand Alone

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Malcolm Newey — Books & Biography | Menrva Books