课题基金 / 基金详情

Mechanical Theorem Proving and Development of EKL - An Interactive Proof Checking System (Computer Research)

Mechanical Theorem Proving and Development of EKL - An Interactive Proof Checking System (Computer Research)
力学定理证明与EKL开发——交互式证明检查系统（计算机研究）
批准号：
8206565
负责人：
John McCarthy
金额：
$39.9万
依托单位：
Stanford University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1982
资助国家：
美国
项目状态：
已结题
起止时间：
1982-09-01 至 1987-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8206565&HistoricalAwards=false
关键词：
MechanicalTheoremProvingDevelopmentEKL

项目摘要

项目成果

John McCarthy的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Combinatorial Biosynthetic Pathway Engineering
  • 批准号：
    EP/X039587/1
  • 项目类别：
    Research Grant
  • 资助金额：
    $114.46万
  • 财政年份：
    2024
  • 负责人：
    John McCarthy
  • 依托单位：
    University of Warwick
Operator Analysis and Applications
  • 批准号：
    2054199
  • 项目类别：
    Standard Grant
  • 资助金额：
    $45.0万
  • 财政年份：
    2021
  • 负责人：
    John McCarthy
  • 依托单位：
    Washington University
Conference on Multivariable Operator Theory and Function Spaces in Several Variables
  • 批准号：
    2055013
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.5万
  • 财政年份：
    2021
  • 负责人：
    John McCarthy
  • 依托单位：
    Washington University
A Database and Analysis of Intergroup Hostility
海外基金