文献检索列表

首页  上一页  下一页  尾页    共2条记录 每页10条记录 页次：1/1   转到：  
序号 索取号 正题名 责任者 出版者 出版日期
1 TP301.6/W154   计算机代数 王东明,夏壁灿编著   清华大学出版社   2004  
2 O178-39/Y228   不等式机器证明与自动发现 杨路,夏壁灿著   科学出版社   2008.01  
首页  上一页  下一页  尾页    共2条记录 每页10条记录 页次：1/1   转到：