检索词: Symposium on Logic Programming , 检索到: 6 条结果, 检索时间: 0.029 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (3)

Q 生物科学 (1)

保存至书单:

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

	1.		Symposium on Logic Programming 订购中 (含光盘) 著者: (Salt Lake Cith)Symposium on logic programming 出版社: IEEE 出版日期: 1986 文献类型: 图书 , 索书号: 73.87221083/SLP(86) 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Symposium on Logic Programming 订购中 (含光盘) 著者: (1985)Symposium on logic programming 出版社: IEEE 出版日期: 1985 文献类型: 图书 , 索书号: 73.87221083/SLP(85) 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		International Symposium on logic Programming 订购中 (含光盘) 著者: IEEE Comuter Society 出版社: IEEE Comuter Society Pr. 出版日期: 1984 文献类型: 图书 , 索书号: 73.87221083/ISL(84) 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		Functional and logic programming: 6th international symposium,FLOPS 2002,Aizu,Japan,September 15-17,2002:Proceedings 订购中 (含光盘) 著者: Zhenjiang Hu Mario Rodriguez-Artalejo 出版社: SpringerVerlag 出版日期: 2002 文献类型: 图书 , 索书号: TP311.11-53/FLO-6 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		Functional and logic programming: 5th international symposium,FLOPS 2001,Tokyo,Japan,March 7-9,2001;proceedings 订购中 (含光盘) 著者: Herbert Kuchen Kazunori Ueda 出版社: Springer 出版日期: 2001 文献类型: 图书 , 索书号: TP311.11-53/FLO-5 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.		Domain theory, logic, and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 / 订购中 (含光盘) 著者: Zhang Guo-Qiang 出版社: Kluwer Academic, 出版日期: 2004. 文献类型: 图书 , 索书号: TP312-532/DT-2 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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

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