登录
机构网站
切换导航
登录
机构网站
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
任意字段
任意字段
题名
出版社
作者
ISBN
丛书题名
全部
[A]
[B]
[C]
[D]
[E]
[F]
[G]
[H]
[I]
[J]
[K]
[L]
[M]
[N]
[O]
[P]
[Q]
[R]
[S]
[T]
[U]
[V]
[W]
[X]
[Y]
[Z]
订购单位
中国科学院文献情报中心
[切换机构]
中国科学院所有订购单位
年份
2024
2
2023
1
2022
2
2020
2
2019
3
2018
2
2017
2
2016
3
2015
1
2014
5
2011
5
2010
1
2009
1
2004
4
2003
12
2002
8
2001
6
2000
4
1999
4
1998
4
1997
4
主题词
logic
66
mathematical logic and foundations
51
philosophy
23
lattices
13
order
13
ordered algebraic structures
13
philosophy of science
12
mathematical logic and formal languages
11
artificial intelligence (incl. robotics)
9
mathematics
8
epistemology
7
algebra
6
general
5
category theory
4
homological algebra
4
symbolic and algebraic manipulation
4
theory of computation
4
algorithms
3
analytic philosophy
3
computational linguistics
3
mathematics and statistics
3
metaphysics
3
ontology
3
coding and information theory
2
computer science
2
discrete mathematics in computer science
2
geometry
2
group theory and generalizations
2
interdisciplinary studies
2
logic design
2
math applications in computer science
2
mathematics of computing
2
philosophy (general)
2
philosophy of religion
2
philosophy of the social sciences
2
probability theory and stochastic processes
2
quantum physics
2
semantics
2
statistics
2
theoretical linguistics
2
abstract
1
arithmetic and logic structures
1
bisac category: philosophy
1
combinatorics
1
computer imaging
1
computer system implementation
1
database management
1
economics
1
formal languages and automata theory
1
game theory
1
graph theory
1
history of religion
1
language history
1
language translation and linguistics
1
linguistics (general)
1
mathematical applications in computer science
1
pattern recognition and graphics
1
philosophy of language
1
quantum computing
1
social and behav. sciences
1
vision
1
学科
b 哲学、宗教
1
b81 逻辑学(论理学)
1
mathematics and statistics
1
o 数理科学和化学
1
o1 数学
1
o14 数理逻辑、数学基础
1
o141 数理逻辑(符号逻辑)
1
t 工业技术
1
tp ( t 工业技术
1
tp 自动化技术、计算机技术
1
tp 自动化技术、计算机技术 )
1
语种
英语
76
出版类型
contributed volume
51
monograph
20
proceedings
1
出版社
springer netherlands
55
springer international publishing
17
springer nature
4
所属数据库
springerlink电子图书
53
springerlink电子图书(1815-2004)
23
检索结果:
76
相关度降序
日期降序
题名升序
相关度降序
Towards Mathematical Philosophy
出版社:
Springer Netherlands
EISBN:
9781402090844
出版时间:
2009
作者:
David Makinson,Jacek Malinowski,Heinrich Wansing
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Foundations of the Theory of Parthood
出版社:
Springer International Publishing
EISBN:
9783030365332
出版时间:
2020
作者:
Andrzej Pietruszczak
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Logics and Falsifications
出版社:
Springer International Publishing
EISBN:
9783319052069
出版时间:
2014
作者:
Andreas Kapsner
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Metainferential Logics
出版社:
Springer Nature
EISBN:
9783031443817
出版时间:
2023
作者:
Federico Pailos,Bruno Da Ré
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Reasoning in Quantum Theory
出版社:
Springer Netherlands
EISBN:
9789401705264
出版时间:
2004
作者:
Maria Luisa Dalla Chiara,Roberto Giuntini,Richard Greechie
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Structural Reliabilism
出版社:
Springer Netherlands
EISBN:
9789401002592
出版时间:
2003
作者:
P. Kawalec
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Advances in Natural Deduction
出版社:
Springer Netherlands
EISBN:
9789400775480
出版时间:
2014
作者:
Luiz Carlos Pereira,Edward Hermann Haeusler,Valeria de Paiva
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Types, Tableaus, and Gödel’s God
出版社:
Springer Netherlands
EISBN:
9789401004114
出版时间:
2002
作者:
Melvin Fitting
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Leśniewski's Systems of Logic and Foundations of Mathematics
出版社:
Springer International Publishing
EISBN:
9783319004822
出版时间:
2014
作者:
Rafal Urbaniak
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
Topological and Algebraic Structures in Fuzzy Sets
出版社:
Springer Netherlands
EISBN:
9789401702317
出版时间:
2003
作者:
Stephen Ernest Rodabaugh,Erich Peter Klement
0浏览量
详细信息
馆际互借
查看订购单位
问图书管理员
点赞
收藏
原文链接
×
订购单位选择
北京纳米能源与系统研究所
北京生命科学研究所
广东省科技图书馆(广东省科技信息与发展战略研究所)
广东省科技图书馆(广东省科学院信息研究所)
广州先进技术研究所
国家纳米科学中心
上海科技大学
水利部中国科学院水工程生态研究所
中国科学院半导体研究所
中国科学院北京基因组研究所(国家生物信息中心)
中国科学院北京综合研究中心
中国科学院测量与地球物理研究所
中国科学院成都计算机应用研究所
中国科学院成都山地灾害与环境研究所
中国科学院成都生物研究所
中国科学院成都文献情报中心
中国科学院成都有机化学研究所
中国科学院城市环境研究所
中国科学院大连化学物理研究所
中国科学院大气物理研究所
中国科学院大学
中国科学院电工研究所
中国科学院电子学研究所
中国科学院地理科学与资源研究所
中国科学院地球环境研究所
中国科学院地球化学研究所
中国科学院地质与地球物理研究所
中国科学院地质与地球物理研究所兰州油气资源研究中心
中国科学院东北地理与农业生态研究所
中国科学院动物研究所
中国科学院福建物质结构研究所
中国科学院赣江创新研究院
中国科学院高能物理研究所
中国科学院工程热物理研究所
中国科学院光电技术研究所
中国科学院光电研究院
中国科学院广州电子技术研究所
中国科学院广州地球化学研究所
中国科学院广州化学研究所
中国科学院广州能源研究所
中国科学院广州生物医药与健康研究院
中国科学院古脊椎动物与古人类研究所
中国科学院过程工程研究所
中国科学院国家空间科学中心
中国科学院国家授时中心
中国科学院国家天文台
中国科学院国家天文台南京天文光学技术研究所
中国科学院国家天文台长春人造卫星观测站
中国科学院海洋研究所
中国科学院寒区旱区环境与工程研究所
中国科学院合肥物质科学研究院
中国科学院华南植物园
中国科学院化学研究所
中国科学院近代物理研究所
中国科学院精密测量科学与技术创新研究院
中国科学院金属研究所
中国科学院计算技术研究所
中国科学院计算机网络信息中心
中国科学院集团
中国科学院科技战略咨询研究院
中国科学院空间应用工程与技术中心
中国科学院空天信息创新研究院
中国科学院昆明动物研究所
中国科学院昆明植物研究所
中国科学院兰州化学物理研究所
中国科学院兰州文献情报中心
中国科学院理化技术研究所
中国科学院理论物理研究所
中国科学院力学研究所
中国科学院南海海洋研究所
中国科学院南京地理与湖泊研究所
中国科学院南京地质古生物研究所
中国科学院南京土壤研究所
中国科学院宁波材料技术与工程研究所
中国科学院青岛生物能源与过程研究所
中国科学院青海盐湖研究所
中国科学院青藏高原研究所
中国科学院软件研究所
中国科学院上海高等研究院
中国科学院上海光学精密机械研究所
中国科学院上海硅酸盐研究所
中国科学院上海技术物理研究所
中国科学院上海免疫与感染研究所
中国科学院上海生命科学研究院
中国科学院上海天文台
中国科学院上海微系统与信息技术研究所
中国科学院上海药物研究所
中国科学院上海应用物理研究所
中国科学院上海有机化学研究所
中国科学院山西煤炭化学研究所
中国科学院生态环境研究中心
中国科学院生物物理研究所
中国科学院声学研究所
中国科学院深海科学与工程研究所
中国科学院沈阳计算技术研究所
中国科学院沈阳应用生态研究所
中国科学院沈阳自动化研究所
中国科学院深圳先进技术研究院
中国科学院水生生物研究所
中国科学院水土保持研究所
中国科学院数学与系统科学研究院
中国科学院苏州纳米技术与纳米仿生研究所
中国科学院苏州生物医学工程技术研究所
中国科学院天津工业生物技术研究所
中国科学院微电子研究所
中国科学院微生物研究所
中国科学院文献情报中心
中国科学院武汉病毒研究所
中国科学院武汉文献情报中心
中国科学院武汉物理与数学研究所
中国科学院武汉岩土力学研究所
中国科学院武汉植物园
中国科学院物理研究所
中国科学院西安光学精密机械研究所
中国科学院西北高原生物研究所
中国科学院西北生态环境资源研究院
中国科学院新疆理化技术研究所
中国科学院新疆生态与地理研究所
中国科学院新疆天文台
中国科学院心理研究所
中国科学院信息工程研究所
中国科学院西双版纳热带植物园
中国科学院烟台海岸带研究所
中国科学院遥感与数字地球研究所
中国科学院亚热带农业生态研究所
中国科学院遗传与发育生物学研究所
中国科学院遗传与发育生物学研究所农业资源研究中心
中国科学院云南天文台
中国科学院长春光学精密机械与物理研究所
中国科学院长春应用化学研究所
中国科学院植物研究所
中国科学院重庆绿色智能技术研究院
中国科学院自动化研究所
中国科学院紫金山天文台
中国科学院自然科学史研究所
×
订购单位