图书馆

昆明理工大学 (27)
显示更多..

馆藏地点

主题

著者

ieee computer society (3)
symposium on logic in computer science (3)
b?rger, e (2)
centre national de la recherche scientifique (france) (2)
deransart, pierre (2)
hehner, eric c. r (2)
institut national de recherche en informatique et en automatique (france) (2)
international conference on algebraic and logic programming (2)
international symposium, plilp '91 (2)
kirchner, h (2)
ma?szyński, j (2)
maluszy'nski, j (2)
manna, zohar (2)
plilp '90 (2)
waldinger, richard (2)
wechler, wolfgang (2)
wirsing, m (2)
(德) michael huth, (英) mark ryan著 (1)
(英)胡思(huth,m.), (英)mark ryan著 (1)
acm special interest group for automata and computability theory (1)
显示更多..

名称:
描述:
公开/私有:	公开私有

标题:
描述:
公开/私有:	公开私有

	1.		Symposium on Logic in Computer Science :: proceedings, Cambridge, Massachusetts, June 16-18, 1986 / 订购中著者: sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.]. 出版社: IEEE Computer Society Press, 出版日期: 1986. 文献类型: 图书 , 索书号: 73.87083/I59L 在馆信息图书信息概览图书目录
	2.		Fifth Annual symposium on logic in computer science. 订购中著者: 出版社: Computer Society Press, 出版日期: 1990. 文献类型: 图书 , 索书号: 73.87221083/C738-5th 在馆信息图书信息概览图书目录
	3.		Symposium on Logic in Computer Science :: proceedings, Ithaca, New York, June 22-25, 1987 / 订购中著者: sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT. 出版社: Computer Society Press of the IEEE ; 出版日期: c1987. 文献类型: 图书 , 索书号: 73.87083/I59L 在馆信息图书信息概览图书目录
	4.		Fourth Annual Symposium on Logic in Computer Science :: proceedings, March 1989, Cambridge, Mass., U.S.A. / 订购中著者: sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing. 出版社: Computer Society Press, 出版日期: 1989. 文献类型: 图书 , 索书号: 73.87221083/C738-4th 在馆信息图书信息概览图书目录
	5.		3rd annual symposium on logic in computer science. 订购中著者: 出版社: Computer Society Press, 出版日期: 1988. 文献类型: 图书 , 索书号: 73.87221083/C738-1988 在馆信息图书信息概览图书目录
	6.		Logic minimization algorithms for VLSI synthesis / 订购中著者: Brayton Robert King 出版社: Kluwer Academic Publishers, 出版日期: c1984. 文献类型: 图书 , 索书号: 73.7551/B827 在馆信息图书信息概览图书目录
	7.		Logic Programming / 订购中著者: Furukawa K. 出版社: Springer-Verlag, 出版日期: 1991. 文献类型: 图书 , 索书号: 73.82054/L471A 在馆信息图书信息概览图书目录
	8.		The logic of programming / 订购中著者: Eric C.R. Hehner. 出版社: Prentice/Hall International, 出版日期: c1984. 文献类型: 图书 , 索书号: TP31/85 在馆信息图书信息概览图书目录
	9.		Logic programming '87 :: proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / 订购中著者: Furukawa Koichi. Tanaka H. Fujisaki T. 出版社: Springer-Verlag, 出版日期: c1988. 文献类型: 图书 , 索书号: 73.87054/L471 在馆信息图书信息概览图书目录
	10.		Logics of Programs :: workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / 订购中著者: Clarke Edmund. Kozen Dexter 出版社: Springer-Verlag, 出版日期: 1984. 文献类型: 图书 , 索书号: 73.87054/L741 在馆信息图书信息概览图书目录