Computer science logic : 4th workshop, CSL ''90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Computer science logic : 4th workshop CSL ''90 Heidelberg Germany October 1-5 1990 : proceedings

出版社：Berlin ; New York : Springer-Verlag, c1991.

ISBN：3540544879

出版年：1991

作者：Workshop on Computer Science Logic

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Computer science logic : 5th Workshop, CSL ''91, Berne, Switzerland, October 1991 : proceedings

作者：Brger,
ISBN：354055789X
出版社：Berlin ; New York : Springer-Verlag, c1992.
出版年：1992

CSL ''87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings

作者：BOrger,E.
ISBN：0387502416
出版社：Berlin ; New York : Springer-Verlag, c1988.
出版年：1988

CSL ''88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

作者：B鑟rger,E.
ISBN：038751659X
出版社：Berlin ; New York : Springer-Verlag, c1989.
出版年：1989

Computer science logic : 6th Workshop, CSL ''92, San Miniato, Italy, September 28-October 2, 1992 : s

作者：Brger,E.
ISBN：3540569928
出版社：Berlin ; New York : Springer-Verlag, 1993.
出版年：1993

Mathematical foundations of computer science 1975, 4th Symposium, Mariánské Lázně, September 1-5

作者：Symposium on Mathematical Foundations of Computer Science (1972- )
ISBN：0387073892
出版社：Berlin ; New York : Springer-Verlag, 1975.
出版年：1975

Proceedings : 4th annual Symposium on Logic in Computer Science.

作者：Symposium on Logic in Computer Science
ISBN：0818619546
出版社：Wash., D.C. : IEEE Computer Society Press, c1989.
出版年：1989