| 作者 |
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) |
|
