刷新
{{item.name}}会员
OIG-Contract Administration fo the Independent Audit of the National Science Foundation's Financial Statements - Option Year 1, ARC (Clifton Gunderson)
OIG-国家科学基金会财务报表独立审计合同管理 - 第 1 年选项，ARC (Clifton Gunderson)
基本信息
- 批准号：0724253
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Contract Interagency Agreement
- 财政年份：2007
- 资助国家：美国
- 起止时间：2007-02-15 至 2009-01-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This is new contract
这是一份新合同
项目成果
期刊论文数量（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 }}
Martin Davis其他文献
Panu Raatikainen on Interpreting Chaitin’s Incompleteness Theorem
Panu Raatikainen 解释 Chaitin 不完备定理
- DOI：
- 发表时间：
1998 - 期刊：
- 影响因子：0
- 作者：
Martin Davis;Panu Raatikainen - 通讯作者：
Panu Raatikainen
Chronic rhinitis in South Africa: update 2013.
南非的慢性鼻炎：2013 年更新。
- DOI：
10.7196/samj.6972 - 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
R. Green;M. Hockman;R. Friedman;Martin Davis;M. McDonald;R. Seedat;C. Els;M. Levin;P. Potter;C. Feldman - 通讯作者：
C. Feldman
Mathematics and Design:Yes, But Will it Fly?
- DOI：
10.1007/s00004-002-0029-x - 发表时间：
2002-11-01 - 期刊：
- 影响因子：0.700
- 作者：
Martin Davis;Matt Insall - 通讯作者：
Matt Insall
The Universal Computer: The Road from Leibniz to Turing
通用计算机：从莱布尼茨到图灵之路
- DOI：
- 发表时间：
2002 - 期刊：
- 影响因子：0
- 作者：
Martin Davis - 通讯作者：
Martin Davis
Engines of Logic: Mathematicians and the Origin of the Computer
逻辑引擎：数学家和计算机的起源
- DOI：
- 发表时间：
2001 - 期刊：
- 影响因子：0
- 作者：
Martin Davis - 通讯作者：
Martin Davis
Martin Davis的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Martin Davis', 18)}}的其他基金
OIG-Contract Administration fo the Independent Audit of the National Science Foundation's Financial Statements - Option Year 1, ARC (Clifton Gunderson)
OIG-国家科学基金会财务报表独立审计合同管理 - 第 1 年选项，ARC (Clifton Gunderson)
- 批准号：
0822444 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Contract Interagency Agreement
OIG-0748382 Acct to NSF Awards to ARC Interagency Agreement
OIG-0748382 接受 NSF 授予 ARC 机构间协议
- 批准号：
0748382 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Contract Interagency Agreement
OIG-0748381 Acct to NSF Awards to ARC Interagency Agreement
OIG-0748381 NSF 授予 ARC 机构间协议的协议
- 批准号：
0748381 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Contract Interagency Agreement
OIG-(Effort Reporting Audit of NSF award to ARC)
OIG-（NSF 授予 ARC 的努力报告审计）
- 批准号：
0646294 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Contract Interagency Agreement
ARC Contract Services Grant Auditing Services / CPA Firm
ARC 合同服务补助金审计服务/注册会计师事务所
- 批准号：
0647191 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Contract Interagency Agreement
Theoretical Investigations in Computer Science
计算机科学的理论研究
- 批准号：
8201167 - 财政年份：1982
- 资助金额：
-- - 项目类别：
Standard Grant
Logical Investigations in Computer Science
计算机科学中的逻辑研究
- 批准号：
8002438 - 财政年份：1980
- 资助金额：
-- - 项目类别：
Continuing Grant
Theorem-Proving and Diophantine Complexity
定理证明和丢番图复杂性
- 批准号：
7624212 - 财政年份：1977
- 资助金额：
-- - 项目类别：
Standard Grant
相似海外基金
Obstacles to Contract Enforcement in Indonesia
印度尼西亚合同执行的障碍
- 批准号：
DP230102942 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Discovery Projects
THE SIXTH PHASE OF THE AGRICULTURAL HEALTH STUDY CONTRACT
农业健康研究合同第六阶段
- 批准号：
10934982 - 财政年份：2023
- 资助金额：
-- - 项目类别：
NIH NATIONAL BRAIN AND TISSUE REPOSITORYPERIOD OF PERFORMANCE: 09/01/2019 - 08/31/2021 (UNCHANGED)TOTAL CONTRACT AMOUNT: $4,937,543.50 (UNCHANGED)TOTAL OBLIGATED AMOUNT: $4,937,543.50 (UNCHANGED)
NIH 国家脑和组织存储库执行期限：2019 年 1 月 9 日 - 2021 年 8 月 31 日（不变）合同总金额：4,937,543.50 美元（不变）总承付金额：4,937,543.50 美元（不变）
- 批准号：
10931782 - 财政年份：2023
- 资助金额：
-- - 项目类别：
NCI SBIR Contract Topic 428 Phase II (Solicitation Number: BAA 75N91022R00027): Cloud-based Liquid-biopsy and Radiomics Platform for the Cancer Research Data Commons
NCI SBIR 合同主题 428 第二阶段（征集编号：BAA 75N91022R00027）：用于癌症研究数据共享的基于云的液体活检和放射组学平台
- 批准号：
10906504 - 财政年份：2023
- 资助金额：
-- - 项目类别：
The development of contract law in French legal humanism - from Alciato to Connan
法国法律人文主义中合同法的发展——从阿尔恰托到康南
- 批准号：
22KJ0512 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for JSPS Fellows
Artificial Intelligence Reviewer of construction contract for subcontractor (Aircons)
分包商施工合同的人工智能审核员（Aircons）
- 批准号：
10081661 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Collaborative R&D
NATIONAL INSTITUTES OF HEALTH (NIH), INTRAMURAL RESEARCH PROGRAM (IRP), GENE THERAPY TASK FORCE (GTTF), CONTRACT DEVELOPMENT AND MANUFACTURING ORGANIZATIONS (CDMOS), SPECIALIZED SUPPORT SERVICESS4 AX
美国国立卫生研究院 (NIH)、校内研究计划 (IRP)、基因治疗工作组 (GTTF)、合同开发和制造组织 (CDMOS)、专业支持服务4 AX
- 批准号：
10950093 - 财政年份：2023
- 资助金额：
-- - 项目类别：
IDIQ CONTRACT TITLE: NCATS SCIENTIFIC AND TECHNICAL SUPPORT SERVICES 3.0
IDIQ 合同名称：NCATS 科学技术支持服务 3.0
- 批准号：
10950019 - 财政年份：2023
- 资助金额：
-- - 项目类别：
IDIQ CONTRACT TITLE: NCATS SCIENTIFIC AND TECHNICAL SUPPORT SERVICES 3.0
IDIQ 合同名称：NCATS 科学技术支持服务 3.0
- 批准号：
10950068 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Blockchain Contract Management for the Arts
艺术区块链合同管理
- 批准号：
10068598 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Collaborative R&D