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