Languages
Brunnler, Kai.
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated reasoning with analytic tableaux and related methods20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
(1998 :); Brunnler, Kai.; Metcalfe, George.; SpringerLink (Online service)
(Electronic resources)