检索词: Nerode,A. , 检索到: 3 条结果, 检索时间: 0.024 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		Logical foundations of copmuter science Tver'92. 订购中 (含光盘) 著者: Nerode A. 出版社: Springer-verlag 出版日期: 1992 文献类型: 图书 , 索书号: 73.8702/NA2 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		应用逻辑订购中 (含光盘) 著者: 尼罗德肖尔出版社: 机械工业出版社出版日期: 2007.07 文献类型: 图书 , 索书号: O141/22(2) 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Logic for applications =: 应用逻辑 / 已借3次. 订购中 (含光盘) 著者: Shore Richard A. 出版社: China Machine Press, 出版日期: 2006. 文献类型: 图书 , 索书号: 51.31/NA(2) 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>