|
题名:
|
一个定理证明环境的编程环境的实现 / 余刚著 , |
|
语种:
|
chi |
|
载体形态:
|
53页 插图 26cm |
|
出版发行:
|
出版地： 长沙 出版社： 国防科技大学研究生院 出版日期： 1992 |
|
其它题名:
|
一个定理证明环境的编程环境的研究 |
|
主要责任者:
|
余刚 著 |
|
附注:
|
封面题名： |
|
附注:
|
指导教师：王兵山教授 |
|
索书号:
|
1 |