名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 形式化 , 检索到: 8 条结果, 检索时间: 0.031 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
语言形式化原理
著者: 王迈
出版社: 上海大学出版社   出版日期: 2016
文献类型: 图书 , 索书号: H0/591
2.
著者: 薛朝改
出版社: 机械工业出版社   出版日期: 2012
文献类型: 图书 , 索书号: F270.7/404
3.
GCT逻辑考前辅导教程
著者: 周建武
出版社: 清华大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/245
4.
著者: 赵立平
出版社: 中国环境科学出版社   出版日期: 2012
文献类型: 图书 , 索书号: G444/14
5.
出版社: 电子工业出版社   出版日期: 2015
文献类型: 图书 , 索书号: F713.36/1269
6.
出版社: 科学出版社   出版日期: 2008
文献类型: 图书 , 索书号: C934/134
7.
著者: 傅光明
出版社: 山东画报出版社   出版日期: 2007
文献类型: 图书 , 索书号: K825.6/546
8.
著者: 程龙
出版社: 社会科学文献出版社   出版日期: 2011
文献类型: 图书 , 索书号: D915.180.4/4