登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Computational Logic
EISBN:
9783642762741
PISBN:
9783642762765
出版社:
Springer Berlin Heidelberg
出版类型:
Proceedings
出版时间:
1990
作者:
John W. Lloyd
主题词:
Artificial Intelligence (incl. Robotics),Programming Techniques,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Models and Principles,Mathematical Logic and Foundations
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Esprit Basic Research Series
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Computational Logic
作者:
J.W. Lloyd
EISBN:
9783642762741
出版社:
Springer Berlin Heidelberg
出版时间:
1990
Computational Logic
作者:
Ulrich Berger,Helmut Schwichtenberg
EISBN:
9783642586224
出版社:
Springer Berlin Heidelberg
出版时间:
1999
Computational Logic
作者:
Gabbay,Dov M.
PISBN:
9780444516244
出版时间:
2014
Computational Logic
作者:
Ulrich Berger,Helmut Schwichtenberg
EISBN:
9783642586224
出版社:
Springer Berlin Heidelberg
出版时间:
1999
Computational Logic: Logic Programming and Beyond
作者:
Antonis C. Kakas,Fariba Sadri
EISBN:
9783540456322
出版社:
Springer Berlin Heidelberg
出版时间:
2002
Computational Logic: Logic Programming and Beyond
作者:
Antonis C. Kakas,Fariba Sadri
EISBN:
9783540456285
出版社:
Springer Berlin Heidelberg
出版时间:
2002
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。