César Muñoz profile picture

César Muñoz

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

Stand Alone

Theorem Proving in Higher Order Logics
César Muñoz — Books & Biography | Menrva Books | MenrvaBooks