检索词: Calculi. , 检索到: 3 条结果, 检索时间: 0.089 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

保存至书单:

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

	1.		The calculi of lambda-conversion / 订购中著者: by Alonzo Church. 出版社: Princeton University Press, 出版日期: 1941. 文献类型: 西文图书 , 索书号: 410.72/C56 在馆信息图书目录内容简介著者简介
	2.		Resolution calculi for discrete temporal logics =: 基于时序逻辑的resolution自动定理证明方法 / 订购中著者: 章岚著. 出版社: 出版日期: 文献类型: 图书 , 索书号: TP301.6/Z63 在馆信息图书目录内容简介著者简介
	3.		Urinary stones :: medical and surgical management / 订购中著者: Grasso Michael Goldfarb David S. 出版社: Wiley-Blackwell, 出版日期: 2014. 文献类型: 图书 , 索书号: R691.4/U76 在馆信息图书目录内容简介著者简介

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