大拱桥--暨南大学学生门户 » 图书馆 » 计算技术、计算机技术 » Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
名称 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
索引号 TP3-532/E992/1995
分类号 TP3-532/E992
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者
出版社 Berlin ; New York : Springer, c1995.
ISBN
页数 252 p. : ill. ; 24 cm.
价格
标签
简介
注解 "Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTVS)"--Pref. Includes bibliographical references.