TABLEAUX '96 (1996 Terrasini, Italy) profile picture

TABLEAUX '96 (1996 Terrasini, Italy)

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