刷新
{{item.name}}会员
Logical Investigations in Computer Science
计算机科学中的逻辑研究
基本信息
- 批准号：8002438
- 负责人：
- 金额：$ 5.82万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1980
- 资助国家：美国
- 起止时间：1980-07-01 至 1982-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 }}
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
New to teaching geography
地理教学新手
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Lynda Yorke;Simon Tate;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
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
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 - 财政年份：2007
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
OIG-0748382 Acct to NSF Awards to ARC Interagency Agreement
OIG-0748382 接受 NSF 授予 ARC 机构间协议
- 批准号：
0748382 - 财政年份：2007
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
OIG-0748381 Acct to NSF Awards to ARC Interagency Agreement
OIG-0748381 NSF 授予 ARC 机构间协议的协议
- 批准号：
0748381 - 财政年份：2007
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
OIG-(Effort Reporting Audit of NSF award to ARC)
OIG-（NSF 授予 ARC 的努力报告审计）
- 批准号：
0646294 - 财政年份：2006
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
ARC Contract Services Grant Auditing Services / CPA Firm
ARC 合同服务补助金审计服务/注册会计师事务所
- 批准号：
0647191 - 财政年份：2006
- 资助金额：
$ 5.82万 - 项目类别：
Contract Interagency Agreement
Theoretical Investigations in Computer Science
计算机科学的理论研究
- 批准号：
8201167 - 财政年份：1982
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant
Theorem-Proving and Diophantine Complexity
定理证明和丢番图复杂性
- 批准号：
7624212 - 财政年份：1977
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant
Computation and Logical Proof Procedure
计算和逻辑证明程序
- 批准号：
7102039 - 财政年份：1971
- 资助金额：
$ 5.82万 - 项目类别：
Continuing Grant
相似海外基金
Computer assisted investigations on classical problems in continuum theory
连续统理论经典问题的计算机辅助研究
- 批准号：
539182-2019 - 财政年份：2019
- 资助金额：
$ 5.82万 - 项目类别：
University Undergraduate Student Research Awards
Investigations on Heat-Transfer Fluids by means of Computer Simulations: Fokus on Ionic Liquids and Ionanofluids
通过计算机模拟研究传热流体：重点关注离子液体和离子液体
- 批准号：
280542941 - 财政年份：2015
- 资助金额：
$ 5.82万 - 项目类别：
Research Grants
Investigations of the mechanical properties of the spinal cord at high strain rates for computer simulation model of the spinal cord injury
研究脊髓损伤计算机模拟模型高应变率下脊髓的力学特性
- 批准号：
21560107 - 财政年份：2009
- 资助金额：
$ 5.82万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
MRI: Acquisition of a computer cluster for density functional and lattice QCD investigations into nuclear fission and fusion
MRI：购买计算机集群，用于核裂变和聚变的密度泛函和晶格 QCD 研究
- 批准号：
0922770 - 财政年份：2009
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant
Computer Security and Investigations: An Integrative Approach to Curriculum Development in Digital Forensics
计算机安全与调查：数字取证课程开发的综合方法
- 批准号：
0802062 - 财政年份：2008
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant
CT-ER: An Analysis of Distributed Timestamps for Computer Forensic Investigations
CT-ER：计算机取证调查的分布式时间戳分析
- 批准号：
0716131 - 财政年份：2007
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant
Investigations of the climatic impact on polar firn structure using 3D-X-raymicro-computer-tomography
使用 3D-X 射线微计算机断层扫描研究气候对极地雪结构的影响
- 批准号：
26376721 - 财政年份：2006
- 资助金额：
$ 5.82万 - 项目类别：
Infrastructure Priority Programmes
Reaction and diffusion in single file networks: Computer simulations and statisticalthermodynamic investigations
单文件网络中的反应和扩散：计算机模拟和统计热力学研究
- 批准号：
5400458 - 财政年份：2003
- 资助金额：
$ 5.82万 - 项目类别：
Research Grants
Investigations to improve the measurement accuracy for testing cylindrical surfaces with the help of computer generated holograms by implementing an absolute test
研究通过实施绝对测试，借助计算机生成的全息图来提高测试圆柱面的测量精度
- 批准号：
5350354 - 财政年份：2002
- 资助金额：
$ 5.82万 - 项目类别：
Research Grants
Physiology Program using Computer-based Data Acquisition and Student-designed Investigations.
使用基于计算机的数据采集和学生设计的调查的生理学计划。
- 批准号：
0088725 - 财政年份：2001
- 资助金额：
$ 5.82万 - 项目类别：
Standard Grant