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)
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)