大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
名称 Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
索引号 TP301-53/E903/1989
分类号 TP301-53/E903
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、
出版社 Berlin : Springer-Verlag, c1989.
ISBN
页数 x, 289 p. : ill. ; 24 cm.
价格
标签
简介
注解