刷新
{{item.name}}会员
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
基本信息
- 批准号：8011417
- 负责人：
- 金额：$ 28.26万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1980
- 资助国家：美国
- 起止时间：1980-11-15 至 1984-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Woodrow Bledsoe其他文献
Woodrow Bledsoe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Woodrow Bledsoe', 18)}}的其他基金
Research on Automated Theorem Proving
自动定理证明研究
- 批准号：
9106496 - 财政年份：1991
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
8613706 - 财政年份：1987
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Acquisition of Computer Science and Computer Engineering Research Equipment
购置计算机科学和计算机工程研究设备
- 批准号：
7907554 - 财政年份：1979
- 资助金额：
$ 28.26万 - 项目类别：
Standard Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
7720701 - 财政年份：1977
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Research in Automatic Theorem Proving
自动定理证明研究
- 批准号：
7412866 - 财政年份：1974
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
相似海外基金
Hardening the Hammer: More Integration of Automatic and Interactive Theorem Provers
强化锤子：自动和交互式定理证明器的更多集成
- 批准号：
226154341 - 财政年份：2012
- 资助金额：
$ 28.26万 - 项目类别：
Research Grants
An automatic unpacking method for computer virus effective in the virus filter based on Bayesian theorem
基于贝叶斯定理的有效病毒过滤的计算机病毒自动脱壳方法
- 批准号：
23500074 - 财政年份：2011
- 资助金额：
$ 28.26万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Temporal Logic, Hardware Verification, and Automatic Theorem Proving
时态逻辑、硬件验证和自动定理证明
- 批准号：
8722633 - 财政年份：1988
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
8613706 - 财政年份：1987
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Automatic Theorem Proving and Applications (Computer Research)
自动定理证明及应用（计算机研究）
- 批准号：
8313499 - 财政年份：1983
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Automatic Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
7801462 - 财政年份：1978
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
7720701 - 财政年份：1977
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant
Automatic Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
7606087 - 财政年份：1976
- 资助金额：
$ 28.26万 - 项目类别：
Standard Grant
Travel to Attend Conference on Automatic Theorem Proving, Oberwolfach, West Germany, January 5 - 10,1976
前往参加自动定理证明会议，奥伯沃尔法赫，西德，1976 年 1 月 5 日至 10 日
- 批准号：
7610151 - 财政年份：1976
- 资助金额：
$ 28.26万 - 项目类别：
Standard Grant
Research in Automatic Theorem Proving
自动定理证明研究
- 批准号：
7412866 - 财政年份：1974
- 资助金额：
$ 28.26万 - 项目类别：
Continuing Grant