Record:   Prev Next
作者 TABLEAUX 2011 (2011 : Bern, Switzerland)
書名 Automated reasoning with analytic tableaux and related methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brunnler, George Metcalfe
出版項 Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
國際標準書號 9783642221194 (electronic bk.)
9783642221187 (paper)
book jacket
Record:   Prev Next