题名:	定理机器证明 / 刘叙华, 姜云飞编著 ,
ISBN:	价格： CNY2.15
语种:	chi
载体形态:	280页 19cm
出版发行:	出版地：北京出版社：科学出版社出版日期： 1987
主题词:	定理(数学) 证明
中图分类法:	TP18 版次： 4
主要责任者:	刘叙华编著
索书号:	TP18/0282