CSL ''89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedin

CSL ''89 : 3rd Workshop on Computer Science Logic Kaiserslautern FRG October 2-6 1989 : proceedin

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

ISBN：3540527532

出版年：1990

作者：Brger,E.

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

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, Oct. 3-7, 1988 : proceedings

作者：Borger,E.
ISBN：354051659X
出版社：Berlin : Springer, c1989
出版年：1989

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

作者：Borger,E.
ISBN：354051659X 170.86
出版社：Berlin : Springer, 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

Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL,

作者：CSL 2009
ISBN：9783642040269
出版社：Berlin ; New York : Springer, c2009.
出版年：2009