大拱桥--暨南大学学生门户 » 图书馆 » 设计与性能分析 » COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
名称 COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
索引号 TP302-53/E991/1988
分类号 TP302-53/E991
TP302(设计与性能分析)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 International Conference on Computer Logic (1988 : Tallinn、 Estonia)、Martin-L̈Оf、 Per、 1942-、Min︠Т︡С、 G. E.、
出版社 Berlin ; New York : Springer-Verlag, 1990.
ISBN
页数 vi, 338 p. ; 25 cm.
价格
标签
简介
注解