刷新
{{item.name}}会员
Mathematical Sciences: Logic and Set Theory
数学科学：逻辑和集合论
基本信息
- 批准号：8304343
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1983
- 资助国家：美国
- 起止时间：1983-07-01 至 1985-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Daniel Kleitman其他文献
On a conjecture of milner on <em>k</em>-graphs with non-disjoint edges
- DOI：
10.1016/s0021-9800(68)80049-3 - 发表时间：
1968-09-01 - 期刊：
- 影响因子：
- 作者：
Daniel Kleitman - 通讯作者：
Daniel Kleitman
On subsets contained in a family of non-commensurable subsets of a finite set
- DOI：
10.1016/s0021-9800(69)80053-0 - 发表时间：
1969-09-01 - 期刊：
- 影响因子：
- 作者：
Daniel Kleitman - 通讯作者：
Daniel Kleitman
Daniel Kleitman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Daniel Kleitman', 18)}}的其他基金
Mathematical Sciences: Research in Combinatorics
数学科学：组合数学研究
- 批准号：
9108403 - 财政年份：1991
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Research in Combinatorics
数学科学：组合数学研究
- 批准号：
8606225 - 财政年份：1986
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Non-Holomorphic Automorphic Forms AndTheir Application
数学科学：非全纯自同构形式及其应用
- 批准号：
8402740 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Problems Related to Differential Geometry and Mathematical Physics
数学科学：与微分几何和数学物理相关的问题
- 批准号：
8403666 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Subelliptic Linear Partial Differential Operators
数学科学：次椭圆线性偏微分算子
- 批准号：
8402609 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Stable Vector Bundles on Projective Spaces
数学科学：射影空间上的稳定向量丛
- 批准号：
8303603 - 财政年份：1983
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Equivariant Algebraic K-Theory
数学科学：等变代数 K 理论
- 批准号：
8303269 - 财政年份：1983
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Combinatorial Aspects of Group Representations
数学科学：群表示的组合方面
- 批准号：
8303317 - 财政年份：1983
- 资助金额：
-- - 项目类别：
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号：41224003
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21224005
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Information Sciences
- 批准号：61224002
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51224001
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21024806
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号：81024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Earth Sciences(中国科学：地球科学)
- 批准号：41024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
相似海外基金
Linear logic and proof theory in the semantics of programming languages; visit at the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K.
编程语言语义中的线性逻辑和证明论；
- 批准号：
180849-1995 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Bilateral Exchange Program (H)
Mathematical Sciences: Topics in Logic and Set Theory
数学科学：逻辑和集合论主题
- 批准号：
9505118 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Greater Boston Logic Conference, Spring 1995
数学科学：大波士顿逻辑会议，1995 年春季
- 批准号：
9415827 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Connecticut Logic Seminar
数学科学：康涅狄格州逻辑研讨会
- 批准号：
9504870 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Logic and Analysis
数学科学：逻辑与分析
- 批准号：
9503398 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Travel Grants for 1995 Int. Congress of Logic, Methodology and Philosophy of Science
数学科学：1995 年国际旅行补助金
- 批准号：
9504267 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Mid Atlantic Mathematical Logic Seminar (MAMLS)
数学科学：大西洋中部数理逻辑研讨会（MAMLS）
- 批准号：
9509993 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Logic and Computability
数学科学：逻辑与可计算性
- 批准号：
9503503 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Mathematical Logic and Applications
数学科学：数学逻辑及其应用
- 批准号：
9400889 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Rigid Analytic Geometry and Logic
数学科学：刚性解析几何和逻辑
- 批准号：
9401451 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing Grant