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

Corporate Authors: TABLEAUX 2011 (2011 Bern, Switzerland); SpringerLink (Online service)
Group Author: Metcalfe George.; Brünnler Kai.
Published: Springer,
Publication Dates: 2011.