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


保存至书单:
1.
著者: 古天龙
出版社: 高等教育出版社   出版日期: 2005
文献类型: 图书 , 索书号: TP311.52/108
2.
著者: 周建武
出版社: 中国人民大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: F0/819
3.
著者: 周建武
出版社: 中国人民大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/227
4.
著者: 孙勇
出版社: 机械工业出版社   出版日期: 2009
文献类型: 图书 , 索书号: G643/55/8
5.
GCT逻辑考前辅导教程
著者: 周建武
出版社: 清华大学出版社   出版日期: 2012
文献类型: 图书 , 索书号: B81/245
6.
著者: 周建武
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: B81/261
7.
著者: 周建武
出版社: 中国人民大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: B81-42/14
8.
形式语言与自动机 已借1次.
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: TP301/46
9.
著者: 周建武
出版社: 清华大学出版社   出版日期: 2013
文献类型: 图书 , 索书号: B81/234