Languages
Brunnler, Kai.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
Metcalfe, George.; Workshop on the Preservation of Stability under Discretization ((2001 :); Brunnler, Kai.; SpringerLink (Online service)
(Language materials, printed)