中图分类法:	TP181-532 版次：
题名:	Automated reasoning : [ 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings /] / ,
其它题名:	IJCAR 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xii, 556 p. : ill. ; 24 cm.
主题词:	Automatic theorem proving
主题词:	Computer logic
主要责任者:	Armando, Alessandro.
主要责任者:	Baumgartner, Peter,
主要责任者:	Dowek, Gilles.