登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Automated Deduction — A Basis for Applications
EISBN：
9789401704373
PISBN：
9789048150526
出版社：
Springer Netherlands
出版类型：
Contributed volume
出版时间：
1998
作者：
Wolfgang Bibel,Peter H. Schmitt
主题词：
Logic,Artificial Intelligence (incl. Robotics),Software Engineering/Programming and Operating Systems,Symbolic and Algebraic Manipulation,Mathematical Logic and Foundations
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Applied Logic Series
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Automated Deduction — A Basis for Applications
作者：
Wolfgang Bibel,Peter H. Schmitt
EISBN：
9789401704359
出版社：
Springer Netherlands
出版时间：
1998
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
作者：
Wolfgang Bibel,P.H. Schmitt
EISBN：
9789401704373
出版社：
Springer Netherlands
出版时间：
1998
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
作者：
Wolfgang Bibel,P.H. Schmitt
EISBN：
9789401704359
出版社：
Springer Netherlands
出版时间：
1998
Automated Deduction in Geometry
作者：
Jürgen Richter-Gebert,Dongming Wang
EISBN：
9783540454106
出版社：
Springer Berlin Heidelberg
出版时间：
2001
Automated Deduction in Geometry
作者：
Xiao-Shan Gao,Dongming Wang,Lu Yang
EISBN：
9783540479970
出版社：
Springer Berlin Heidelberg
出版时间：
1999
Automated Deduction in Geometry
作者：
Dongming Wang
EISBN：
9783540697176
出版社：
Springer Berlin Heidelberg
出版时间：
1997
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位