课题基金 / 基金详情

Research on Automated Theorem Proving

Research on Automated Theorem Proving
自动定理证明研究
批准号：
8922555
负责人：
Woodrow Bledsoe
金额：
$8.4万
依托单位：
University of Texas at Austin
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1990
资助国家：
美国
项目状态：
已结题
起止时间：
1990-06-01 至 1991-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8922555&HistoricalAwards=false
关键词：
ResearchAutomatedTheoremProving

项目摘要

项目成果

Woodrow Bledsoe的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This project is part of an ongoing effort to build more powerful computer programs for proving theorems in mathematics and application areas. The work can be divided into subareas: building provers with large-step capacity; using analogy to aid in proof discovery; combining known methods for new proofs in higher order logic; and mechanical methods for streamlining proofs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research on Automated Theorem Proving
  • 批准号：
    9307731
  • 项目类别：
    Standard Grant
  • 资助金额：
    $11.84万
  • 财政年份：
    1994
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
Research on Automated Theorem Proving
  • 批准号：
    9106496
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $10.09万
  • 财政年份：
    1991
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
STR+VE Distribution Proposal
  • 批准号：
    9101980
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.91万
  • 财政年份：
    1991
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
Research on Automatic Theorem Proving and Applications
  • 批准号：
    8613706
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $41.47万
  • 财政年份：
    1987
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
海外基金