登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Computer science logic : 7th workshop CSL ''93 Swansea United Kingdom September 13-17 1993 : sel
出版社：
Berlin ; New York : Springer-Verlag, 1994.
ISBN：
3540582770
出版年：
1994
作者：
Brger,Egon
资源类型：
图书
细分类型：
西文文献
3浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL,
作者：
International workshop CSL 2003
ISBN：
3540408010
出版社：
Berlin ; New York : Springer, c2003.,New York : Springer, 2003.
出版年：
2003
Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL,
作者：
CSL 2004
ISBN：
3540230246
出版社：
Berlin ; New York : Springer, c2004.
出版年：
2003
Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL,
作者：
CSL 2008
ISBN：
9783540875307
出版社：
Berlin ; New York : Springer, c2008.
出版年：
2008
Logic from computer science : proceedings of a workshop held November 13-17, 1989
作者：
Moschovakis,Yiannis N.
ISBN：
0387976671
出版社：
New York : Springer-Verlag, c1992.
出版年：
1991
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science,
作者：
DEON 2004
ISBN：
3540221115
出版社：
Berlin ; New York : Springer, c2004.
出版年：
2004
Computer science logic : 8th workshop, CSL ''94, Kazimierz, Poland, September 25-30, 1994 : selected
作者：
Workshop on Computer Science Logic
ISBN：
3540600175
出版社：
Berlin : Springer-Verlag, 1995.
出版年：
1995
×
访问借阅管理系统
问图书管理员
馆际互借