文献检索列表

首页  上一页  下一页  尾页    共1条记录 每页10条记录 页次：1/1   转到：  
序号 索取号 正题名 责任者 出版者 出版日期 预约/借
1 TP391.7/13   高阶逻辑辅助证明系统 (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍   北京理工大学出版社   2013.05   预约/借
首页  上一页  下一页  尾页    共1条记录 每页10条记录 页次：1/1   转到：