登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Automated Deduction — CADE-12
EISBN：
9783540484677
PISBN：
9783540581567
出版社：
Springer Berlin Heidelberg
出版类型：
Proceedings
出版时间：
1994
版次：
1994
作者：
Alan Bundy
主题词：
Computer Science,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种：
英语
所属数据库：
SpringerLink电子图书(1815-2004)
丛书题名：
Lecture Notes in Computer Science
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Automated Deduction — CADE-12
作者：
Alan Bundy
EISBN：
9783540484677
出版社：
Springer Berlin Heidelberg
出版时间：
1994
Automated Deduction—CADE-18
作者：
Andrei Voronkov
EISBN：
9783540456209
出版社：
Springer Berlin Heidelberg
出版时间：
2002
Automated Deduction – CADE-24
作者：
Maria Paola Bonacina
EISBN：
9783642385742
出版社：
Springer Berlin Heidelberg
出版时间：
2013
Automated Deduction—CADE-11
作者：
Deepak Kapur
EISBN：
9783540472520
出版社：
Springer Berlin Heidelberg
出版时间：
1992
Automated Deduction - CADE-19
作者：
Franz Baader
EISBN：
9783540450856
出版社：
Springer Berlin Heidelberg
出版时间：
2003
Automated Deduction - CADE-17
作者：
David McAllester
EISBN：
9783540451013
出版社：
Springer Berlin Heidelberg
出版时间：
2000
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位