大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP3-532/E992)(共2本)

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

0
索取号：TP3-532/E992/1989
作者：
出版社：Berlin ; New York : Springer-Verlag, c1989.

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

0
索取号：TP3-532/E992/1995
作者：
出版社：Berlin ; New York : Springer, c1995.