Kai Brünnler

1 published title

Automated reasoning with analytic tableaux and related methods : 20th International conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings

(Contributor)

1 edition