Natural Deduction for the Epsilon Calculus

Epsilon 演算的自然演绎

基本信息

  • 批准号:
    430987-2012
  • 负责人:
  • 金额:
    $ 0.33万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    University Undergraduate Student Research Awards
  • 财政年份:
    2012
  • 资助国家:
    加拿大
  • 起止时间:
    2012-01-01 至 2013-12-31
  • 项目状态:
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量(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 }}

Hägg, Dana其他文献

Hägg, Dana的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Hägg, Dana', 18)}}的其他基金

Open Source Methods for Collaboration in Logic
逻辑协作的开源方法
  • 批准号:
    448864-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 0.33万
  • 项目类别:
    University Undergraduate Student Research Awards

相似海外基金

Automated Deduction and Reduction Orders
自动扣除和减少订单
  • 批准号:
    22K11900
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Deduction by Analogy Completion
类比演绎完成
  • 批准号:
    72200
  • 财政年份:
    2020
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Feasibility Studies
ThoughtRiver - Deduction By Analogy (DBA)
ThoughtRiver - 类比演绎 (DBA)
  • 批准号:
    105001
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Feasibility Studies
Behavioral and Experimental Economics Research on the Tax Deduction for Charitable Giving in Japan
日本慈善捐赠税收减免的行为和实验经济学研究
  • 批准号:
    19K13722
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Collaborative Research: Enhancers and the Convergent Evolution of Limb Deduction in Squamates
合作研究:有鳞动物肢体扣除的增强子和趋同进化
  • 批准号:
    1754950
  • 财政年份:
    2018
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Continuing Grant
Collaborative Research: Enhancers and the Convergent Evolution of Limb Deduction in Squamates
合作研究:有鳞动物肢体扣除的增强子和趋同进化
  • 批准号:
    1754417
  • 财政年份:
    2018
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Standard Grant
Next-generation kinship deduction for forensic and genealogical analysis
用于法医和家谱分析的下一代亲属关系推论
  • 批准号:
    1940004
  • 财政年份:
    2017
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Studentship
Inquiring the way of deduction of risk relating alarm in operating rooms and development of new monitoring system
手术室报警风险扣除方式探讨及新型监控系统开发
  • 批准号:
    16K15396
  • 财政年份:
    2016
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Accurate measurement of Zeeman effect of methanol for deduction of interstellar magnetic field
精确测量甲醇塞曼效应推演星际磁场
  • 批准号:
    16K05293
  • 财政年份:
    2016
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Practical Automated Deduction
实用自动扣除
  • 批准号:
    DP140104245
  • 财政年份:
    2014
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了