中图分类法:	TP181-532 版次：
题名:	Automated reasoning with analytic tableaux and related methods : [ 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /] / ,
其它题名:	TABLEAUX 2009
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： 2009.
载体形态:	xii, 340 p. : ill. ; 24 cm.
附注:	International conference proceedings.
主题词:	Automatic theorem proving
主要责任者:	Giese, Martin.
主要责任者:	Waaler, Arild.