名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Nerode,A. , 检索到: 2 条结果, 检索时间: 0.03 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
出版社: Springer-verlag   出版日期: 1992
文献类型: 图书 , 索书号: 73.8702/NA2
2.
Logic for applications =: 应用逻辑 / 已借3次.
出版社: China Machine Press,   出版日期: 2006.
文献类型: 图书 , 索书号: 51.31/NA(2)