检索词: Logic, Symbolic and mathematica , 检索到: 4 条结果, 检索时间: 0.09 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

B 哲学、宗教 (2)

Q 生物科学 (2)

T 工业技术 (2)

O 数理科学与化学 (1)

您是不是想检索:

Logic, Symbolic and mathematica Logic, symbolic and mathematical. Logic, Symbolic and mathematical Logic, Symbolic and mathematic. Logic, Symbolic and mathematical. Logic Symbolic and mathematical Logic, Symbolic and mathematical--Congresses. Fuzzy systems and mathematics Logic and reasoning in mathematics Physics and mathematics

保存至书单:

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

	1.		The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition = 《数学原理》的演化 : 伯特兰·罗素撰写第二版时的手稿与笔记 / 订购中著者: Bernard Linsky. 出版社: Harbin Institute of Technology Press, 出版日期: 2018. 文献类型: 图书（纸本） , 索书号: O1-0/L759 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings / 订购中著者: Ho?lldobler Steffen Lutz Carsten Wansing H. 出版社: Springer, 出版日期: c2008. 文献类型: 图书（纸本） , 索书号: TP18-532/L832:11/2008 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings / 订购中著者: Fisher Michael. 出版社: Springer, 出版日期: c2006. 文献类型: 图书（纸本） , 索书号: TP18-532/L832:10/2006 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition / 订购中著者: Bernard Linsky. 出版社: Cambridge University Press, 出版日期: 2011. 文献类型: 图书（纸本） , 索书号: B561.54/L759 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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

© 2005－ www.interlib.com.cn, all rights reserved