登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Intensional and Higher-Order Modal Logic
PISBN：
9780444110022
出版时间：
Pre 2007
作者：
Daniel Gallin
主题词：
Mathematics pre-2007
语种：
英语
所属数据库：
Elsevier电子图书
丛书题名：
North-Holland Mathematics Studies
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Higher-Order Algebra, Logic, and Term Rewriting
作者：
Gilles Dowek,Jan Heering,Karl Meinke,Bernhard Möller
EISBN：
9783540683896
出版社：
Springer Berlin Heidelberg
出版时间：
1996
Higher-Order Algebra, Logic, and Term Rewriting
作者：
Jan Heering,Karl Meinke,Bernhard Möller,Tobias Nipkow
EISBN：
9783540485797
出版社：
Springer Berlin Heidelberg
出版时间：
1994
Higher-Order Algebra, Logic, and Term Rewriting
作者：
Jan Heering,Karl Meinke,Bernhard Möller,Tobias Nipkow
EISBN：
9783540485797
出版社：
Springer Berlin Heidelberg
出版时间：
1994
Higher-Order Algebra, Logic, and Term Rewriting
作者：
Gilles Dowek,Jan Heering,Karl Meinke,Bernhard Möller
EISBN：
9783540683896
出版社：
Springer Berlin Heidelberg
出版时间：
1996
Solving Higher-Order Equations
作者：
Christian Prehofer
EISBN：
9781461217787
出版社：
Birkhäuser Boston
出版时间：
1998
Higher-Order Computability
作者：
John Longley,Dag Normann
EISBN：
9783662479926
出版社：
Springer Berlin Heidelberg
出版时间：
2015
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位