Marta Cialdea Mayer

1 published title

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

(Contributor)

1 edition