Record:   Prev Next
作者 TABLEAUX 2009 (2009 : Oslo, Norway)
書名 Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / edited by Martin Giese, Arild Waaler
出版項 Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
國際標準書號 9783642027161 (electronic bk.)
9783642027154 (paper)
book jacket
Record:   Prev Next