大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Taitslin 的图书(共1本)

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

0
索取号：TP301-53/E903/1989
作者：Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、
出版社：Berlin : Springer-Verlag, c1989.