全部
图书期刊非书资料
图书馆
- 桂林理工大学南宁分校图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 六楼科技二东区(1)
书目库
- 中文图书(1)
主题
- 计算机辅助技术(1)
出版社
- 北京理工大学出版社(1)
出版时间
- 2013.05(1)
-
高阶逻辑辅助证明系统
— (德)托比亚斯·尼普科夫(TOBIAS NIPKOW)，(英)劳伦斯
索书号：TP391.7/16
标准编码： 978-7-5640-7763-1
出版信息：北京 北京理工大学出版社 2013.05
中文图书
1 共有：1条记录