登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Term rewriting and applications : 17th international conference RTA 2006 Seattle WA USA August
出版社：
Berlin ; New York : Springer, c2006.
ISBN：
3540368345
出版年：
2006
作者：
Pfenning,Frank
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-2
作者：
CAV (Conference)
ISBN：
354037406X
出版社：
Berlin ; New York : Springer, c2006.
出版年：
2006
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-
作者：
IJCAR 2006
ISBN：
3540371877
出版社：
Berlin ; New York : Springer, c2006.
出版年：
2006
Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21,
作者：
RTA 2005
ISBN：
9783540255963
出版社：
Berlin ; New York, N.Y. : Springer, c2005.
出版年：
2005
Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 :
作者：
ICLP 2006
ISBN：
3540366350
出版社：
Berlin ; New York : Springer, c2006.
出版年：
2006
Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28
作者：
RTA 2007
ISBN：
3540734473
出版社：
Berlin ; New York : Springer, c2007.
出版年：
2007
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 20
作者：
RV 2017
ISBN：
9783319675305
出版社：
Cham, Switzerland : Springer, 2017.
出版年：
2017
×
访问借阅管理系统
问图书管理员
馆际互借