大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法 » Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
名称 Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
索引号 TP301-532/E991/4
分类号 TP301-532/E991
TP301(理论、方法)
TP30(一般性问题)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 LFCS ʼ97 (4th : 1997 : Yaroslavĺ、 Russia (City))、Ad︠i︡an、 S. I.、Nerode、 Anil、 1932-、
出版社 Berlin : Springer, c1997.
ISBN
页数 ix, 429 p. : ill. ; 24 cm.
价格
标签
简介
注解