题名:
定理机器证明
/ 刘叔华, 姜云飞编 ,
ISBN:
15031.870 价格： 2.15
语种:
CHI
载体形态:
41
出版发行:
出版地： 出版社：
科学出版社
出版日期： 1987
中图分类法:
TP11/0282 版次：