检索词: Kleen , 检索到: 5 条结果, 检索时间: 0.073 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

O 数理科学与化学 (2)

B 哲学、宗教 (1)

T 工业技术 (1)

保存至书单:

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

	1.		元数学导论．上册订购中著者: S.C. 克林 S.C. kleene 出版社: 科学出版社出版日期: 1984.11 文献类型: 图书 , 索书号: O141.2/1:1 在馆信息图书目录内容简介著者简介
	2.		Two papers of the predicate calculus / 订购中著者: by S. C. Kleene. 出版社: s.n.], 出版日期: 1952. 文献类型: 西文图书 , 索书号: 413/K63 在馆信息图书目录内容简介著者简介
	3.		元数学导论．下册订购中著者: S.C. 克林 S.C. Kleene 出版社: 科学出版社出版日期: 1985.9 文献类型: 图书 , 索书号: O141.2/1:2 在馆信息图书目录内容简介著者简介
	4.		基于三角模的模糊逻辑理论及其应用订购中著者: 裴道武出版社: 科学出版社出版日期: 2013 文献类型: 图书 , 索书号: B815.6/3 在馆信息图书目录内容简介著者简介
	5.		Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / 订购中著者: Boiten Eerke Moller Bernhard 出版社: Springer, 出版日期: 2002. 文献类型: 图书 , 索书号: TP311-532/M939 在馆信息图书目录内容简介著者简介

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

© 2005－ www.interlib.com.cn, all rights reserved null 关于联系我们帮助