文献检索列表

首页  上一页  下一页  尾页    共1条记录 每页10条记录 页次：1/1   转到：  
序号 索取号 正题名 责任者 出版者 出版日期
1 O141-39/B675   交互式定理证明与程序开发 贝尔托, 卡斯特拉著;顾明等译   清华大学出版社   2010  
首页  上一页  下一页  尾页    共1条记录 每页10条记录 页次：1/1   转到：