中图分类法:	O1-37 版次：
题名:	Mathematical knowledge management : [ third international conference, MKM 2004, Bia?wie?a, Poland, September 19-21, 2004 : proceedings /] / ,
其它题名:	MKM 2004
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2004.
载体形态:	x, 392 p. : ill. ; 24 cm.
主题词:	Mathematics Data processing
主题词:	Information storage and retrieval systems Mathematics
主题词:	Automatic theorem proving
主要责任者:	Asperti, Andrea.
主要责任者:	Bancerek, Grzegorz.
主要责任者:	Trybulec, Andrzej.