刷新
{{item.name}}会员
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
基本信息
- 批准号：8601285
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-15 至 1989-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 }}
Harvey Friedman其他文献
Sinus pause in association with Lyme carditis.
窦性暂停与莱姆性心脏炎有关。
- DOI：
10.14503/thij-14-4126 - 发表时间：
2015 - 期刊：
- 影响因子：0.9
- 作者：
A. Oktay;Samer R. Dibs;Harvey Friedman - 通讯作者：
Harvey Friedman
The disjunction property implies the numerical existence property.
析取性质隐含着数值存在性质。
- DOI：
10.1073/pnas.72.8.2877 - 发表时间：
1975 - 期刊：
- 影响因子：11.1
- 作者：
Harvey Friedman - 通讯作者：
Harvey Friedman
Medical Students in Developing Countries
- DOI：
10.1007/s11606-011-1744-3 - 发表时间：
2011-05-20 - 期刊：
- 影响因子：4.200
- 作者：
Jessica Merlin;Gail Morrison;Stephen Gluckman;Gregg Lipschik;Darren R. Linkin;Sarah Lyon;Elizabeth O’Grady;Heather Calvert;Harvey Friedman - 通讯作者：
Harvey Friedman
769 A CYTOMEGALOVIRUS VACCINE TRIAL IN RENAL TRANSPLANT CANDIDATES
- DOI：
10.1203/00006450-197804001-00774 - 发表时间：
1978-04-01 - 期刊：
- 影响因子：3.100
- 作者：
John P Glazer;Harvey Friedman;Robert Grossman;Clyde Barker;Stuart E Starr;Stanley A Plotkin - 通讯作者：
Stanley A Plotkin
Human brain in tissue culture
组织培养中的人脑
- DOI：
- 发表时间：
1975 - 期刊：
- 影响因子：12.7
- 作者：
Z. Wróblewska;M. Devlin;D. Gilden;D. Santoli;Harvey Friedman;H. Koprowski - 通讯作者：
H. Koprowski
Harvey Friedman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Harvey Friedman', 18)}}的其他基金
Collaborative Research: Theoretical Support for Mechanized Proof Assistants
协作研究：机械化证明助手的理论支持
- 批准号：
0401265 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in the Foundations of Mathematics
数学科学：数学基础主题
- 批准号：
8902765 - 财政年份：1989
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Interdisciplinary Conference On Randomness to be held April 12-16, 1988, Columbus, Ohio
数学科学：随机性跨学科会议将于 1988 年 4 月 12-16 日在俄亥俄州哥伦布市举行
- 批准号：
8722851 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Interdisciplinary Conference on Axiomatic Systems, December 15-18, 1988; Columbus, Ohio
数学科学：公理系统跨学科会议，1988 年 12 月 15-18 日；
- 批准号：
8816125 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Alan T. Waterman Award
数学科学：艾伦·T·沃特曼奖
- 批准号：
8419353 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Investigations into the Necessary Use of Abstract Set Theory, and Constructive Aspects of Algebra
数学科学：对抽象集合论的必要使用和代数的构造性方面的调查
- 批准号：
8102681 - 财政年份：1981
- 资助金额：
-- - 项目类别：
Continuing grant
Investigations Into the Use of Higher Types, Set Theoretic Undefinability, and Intuitionistic Semantics
对高级类型、集合论不可定义性和直觉语义的使用的调查
- 批准号：
7802558 - 财政年份：1978
- 资助金额：
-- - 项目类别：
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 万元
- 项目类别：专项基金项目
相似海外基金
Mathematical Sciences aiming at medical application of light propagation in biomedical tissues and related topics
针对生物医学组织中光传播的医学应用的数学科学及相关主题
- 批准号：
16H02155 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (A)
CBMS Regional Conference in the Mathematical Sciences - "Finite Morse Index Solutions and Related Topics" -Winter 2007
CBMS 数学科学区域会议 - “有限莫尔斯指数解决方案和相关主题” - 2007 年冬季
- 批准号：
0628079 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Standard Grant
NSF/CBMS Regional Conference in the Mathematical Sciences -Generalized Linear Mixed Models and Related Topics - June 8-12,1999
NSF/CBMS 数学科学区域会议 - 广义线性混合模型及相关主题 - 1999 年 6 月 8 日至 12 日
- 批准号：
9813374 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Symbolic Dynamics and Related Topics
数学科学：符号动力学及相关主题
- 批准号：
9706852 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in Fluid Dynamics
数学科学：流体动力学主题
- 批准号：
9622735 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Topics in Nonparametric Analysis and Model Building
数学科学：非参数分析和模型构建主题
- 批准号：
9625777 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Mathematical Topics in Combustion
数学科学：燃烧中的数学主题
- 批准号：
9600103 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in Model Theory
数学科学：模型论主题
- 批准号：
9696268 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Diffusion Processes and Related Topics
数学科学：扩散过程及相关主题
- 批准号：
9625782 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Topics in Commutative Algebra
数学科学：交换代数主题
- 批准号：
9622224 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant