登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Computer science logic : 5th Workshop CSL ''91 Berne Switzerland October 1991 : proceedings
出版社：
Berlin ; New York : Springer-Verlag, c1992.
ISBN：
354055789X
出版年：
1992
作者：
Brger,
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Computer science logic : 4th workshop, CSL ''90, Heidelberg, Germany, October 1-5, 1990 : proceedings
作者：
Workshop on Computer Science Logic
ISBN：
3540544879
出版社：
Berlin ; New York : Springer-Verlag, c1991.
出版年：
1991
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
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL,
作者：
CSL 2009
ISBN：
9783642040269
出版社：
Berlin ; New York : Springer, c2009.
出版年：
2009
Distributed algorithms : 5th international workshop, WDAG ''91, Delphi, Greece, October 7-9, 1991 : p
作者：
Toueg,S.
ISBN：
3540552367
出版社：
Berlin ; New York : Springer-Verlag, c1992.
出版年：
1992
×
访问借阅管理系统
问图书管理员
馆际互借