大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP302-53/E991)(共1本)
 |
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings0索取号：TP302-53/E991/1988 作者：International Conference on Computer Logic (1988 : Tallinn、 Estonia)、Martin-L̈Оf、 Per、 1942-、Min︠Т︡С、 G. E.、 出版社：Berlin ; New York : Springer-Verlag, 1990. |
最近添加的分类
粤公网安备 44030602003680号