Open Source Methods for Collaboration in Logic
Open Source Methods for Collaboration in Logic
逻辑协作的开源方法
批准号：
448864-2013
负责人：
Hägg, Dana
金额：
$0.33万
依托单位：
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Natural Deduction for the Epsilon Calculus
-
批准号：430987-2012
-
项目类别：University Undergraduate Student Research Awards
-
资助金额：$0.33万
-
财政年份：2012
-
负责人：Hägg, Dana
-
依托单位：
国内基金
海外基金
数学之源书（Source book in mathematics)的翻译与出版
-
批准号：11826405
-
项目类别：数学天元基金项目
-
资助金额：3.0万元
-
批准年份：2018
-
负责人：程晓亮
-
依托单位：
