文献检索列表

首页  上一页  下一页  尾页    共2条记录 每页10条记录 页次：1/1   转到：  
序号 索取号 正题名 责任者 出版者 出版日期
1 O122.2/G190   方程求解与机器证明 高小山著   科学出版社   2006.09  
2 O18-39/Z129   几何定理机器证明的几何不变量方法 张景中, 高小山, 周咸青著   科学出版社   2015.04  
首页  上一页  下一页  尾页    共2条记录 每页10条记录 页次：1/1   转到：