课题基金 / 基金详情

An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover

An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover
基于 Prawitz 的定理证明器的设计和实现的研究
批准号：
8103478
负责人：
Neil Murray
金额：
$2.81万
依托单位：
Le Moyne College
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1981
资助国家：
美国
项目状态：
已结题
起止时间：
1981-06-15 至 1983-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8103478&HistoricalAwards=false
关键词：
InvestigationIntoDesignImplementationPrawitz

项目摘要

项目成果

Neil Murray的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
III-COR: Collaborative Research: Knowledge Compilation with Fast Response
  • 批准号：
    0712849
  • 项目类别：
    Standard Grant
  • 资助金额：
    $23.43万
  • 财政年份：
    2007
  • 负责人：
    Neil Murray
  • 依托单位：
    SUNY at Albany
Implementation and Analysis of Inference Techniques for Classical and Multiple-Valued Logics
  • 批准号：
    9404338
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $13.88万
  • 财政年份：
    1995
  • 负责人：
    Neil Murray
  • 依托单位：
    SUNY at Albany
Implementation and Analysis of Proof Techniques Employing Negation Normal Form
  • 批准号：
    9101208
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $17.19万
  • 财政年份：
    1991
  • 负责人：
    Neil Murray
  • 依托单位：
    SUNY at Albany
Automated Reasoning with Path Resolution and Semantic Graphs
  • 批准号：
    8600848
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $7.38万
  • 财政年份：
    1986
  • 负责人：
    Neil Murray
  • 依托单位：
    SUNY at Albany
海外基金