中图分类法:	O18-532 版次：
题名:	Automated deduction in geometry : [ 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /] / ,
其它题名:	ADG 2014
出版发行:	出版地： Cham : 出版社： Springer, 出版日期： 2015.
载体形态:	viii, 180 p. : ill. ; 24 cm.
主题词:	Geometry Data processing
主题词:	Automatic theorem proving
主题词:	Logic, Symbolic and mathematical
主要责任者:	Botana, Francisco.
主要责任者:	Quaresma, Pedro.
索书号:	1