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


保存至书单:
1.
著者: 朱水林
出版社: 人民出版社   出版日期: 1987
文献类型: 图书 , 索书号: B812/85
2.
知识工程与机器发现
出版社: 北京航空航天大学出版社   出版日期: 1992.4
文献类型: 图书 , 索书号: TP24/6
3.
认知逻辑导论
著者: 周昌乐
出版社: 清华大学出版社   出版日期: 2001
文献类型: 图书 , 索书号: TP301/16
4.
著者: 秦振松
出版社: 东南大学出版社   出版日期: 1995
文献类型: 图书 , 索书号: TP314/57
5.
问题求解理论及应用
出版社: 清华大学出版社   出版日期: 1990.12
文献类型: 图书 , 索书号: TP18/24
6.
空间关系理论与方法
出版社: 科学出版社   出版日期: 2013
文献类型: 图书 , 索书号: P208/253
7.
出版社: 科学出版社   出版日期: 2008
文献类型: 图书 , 索书号: C934/134
8.
软件体系结构设计 已借1次.
著者: 李千目
出版社: 清华大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.5/287
9.
软件工程基础 已借2次.
出版社: 高等教育出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.5/276
10.
出版社: 电子工业出版社   出版日期: 2007
文献类型: 图书 , 索书号: TP391.41/2992