登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Finite Model Theory
EISBN:
9783662031827
PISBN:
9783540601494
出版社:
Springer Berlin Heidelberg
出版类型:
Monograph
出版时间:
1995
版次:
1995
作者:
Heinz-Dieter Ebbinghaus,Jörg Flum
主题词:
Mathematics,Mathematical Logic and Foundations,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
丛书题名:
Perspectives in Mathematical Logic
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Finite Model Theory
作者:
Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN:
9783662031827
出版社:
Springer Berlin Heidelberg
出版时间:
1995
Finite Model Theory
作者:
Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN:
9783540287889
出版社:
Springer Berlin Heidelberg
出版时间:
2006
Finite Model Theory
作者:
Heinz-Dieter Ebbinghaus,Jörg Flum
EISBN:
9783540287889
出版社:
Springer Berlin Heidelberg
出版时间:
1995
Elements of Finite Model Theory
作者:
Leonid Libkin
EISBN:
9783662070031
出版社:
Springer Berlin Heidelberg
出版时间:
2004
Finite Model Theory and Its Applications
作者:
Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein
EISBN:
9783540688044
出版社:
Springer Berlin Heidelberg
出版时间:
2007
Elements of Finite Model Theory
作者:
Leonid Libkin
EISBN:
9783662070031
出版社:
Springer Berlin Heidelberg
出版时间:
2004
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。