Italy) Tableaux 9 (1996 Terrasini profile picture

Italy) Tableaux 9 (1996 Terrasini

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

Stand Alone

Theorem proving with analytic tableaux and related methods: 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
Italy) Tableaux 9 (1996 Terrasini — Books & Biography | Menrva Books