登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction Wroclaw Poland
出版社:
Berlin ; New York : Springer, c2011.
ISBN:
9783642224379
出版年:
2011
作者:
International Conference on Automated Deduction
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sw
作者:
International Conference on Automated Deduction
ISBN:
9783319630458
出版社:
Cham, Switzerland : Springer, 2017.
出版年:
2017
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denm
作者:
Voronkov,Andrei
ISBN:
3540439315
出版社:
Berlin ; New York : Springer, c2002.
出版年:
2002
Automated deduction--CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, Pa.
作者:
McAllester,David
ISBN:
3540676643
出版社:
Berlin : Springer, c2000.
出版年:
2000
Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick,
作者:
McRobbie,M.A.
ISBN:
3540615113
出版社:
Berlin ; New York : Springer, c1996.
出版年:
1996
Automated deduction--CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL
作者:
International Conference on Automated Deduction
ISBN:
3540405593
出版社:
Berlin ; New York : Springer, 2003.
出版年:
2003
Automated deduction--CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Den
作者:
International Conference on Automated Deduction
ISBN:
3540439315
出版社:
Berlin ; New York : Springer, c2002.
出版年:
2002
×
访问借阅管理系统