课题基金 / 基金详情

Automated reasoning using clause trees

Automated reasoning using clause trees
使用子句树进行自动推理
批准号：
5376-1998
负责人：
Horton, Joseph
金额：
$1.09万
依托单位：
University of New Brunswick
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2000
资助国家：
加拿大
项目状态：
已结题
起止时间：
2000-01-01 至 2001-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=169892
关键词：
Automatedreasoningusingclausetrees

项目摘要

项目成果

Horton, Joseph的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Fabrication, characterization and application of novel, highly stable, carbene-based self-assembled monolayers
  • 批准号：
    RGPIN-2019-04038
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2022
  • 负责人：
    Horton, Joseph
  • 依托单位：
    Queen's University
Fabrication, characterization and application of novel, highly stable, carbene-based self-assembled monolayers
  • 批准号：
    RGPIN-2019-04038
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2021
  • 负责人：
    Horton, Joseph
  • 依托单位：
    Queen's University
Fabrication, characterization and application of novel, highly stable, carbene-based self-assembled monolayers
  • 批准号：
    RGPIN-2019-04038
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2020
  • 负责人：
    Horton, Joseph
  • 依托单位：
    Queen's University
Fabrication, characterization and application of novel, highly stable, carbene-based self-assembled monolayers
  • 批准号：
    RGPIN-2019-04038
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.75万
  • 财政年份：
    2019
  • 负责人：
    Horton, Joseph
  • 依托单位：
    Queen's University
海外基金