15th International Conference on Theorem Proving in Higher-Order Logics
15th International Conference on Theorem Proving in Higher-Order Logics
第十五届高阶逻辑定理证明国际会议
批准号：
0221234
负责人：
Cesar Munoz
金额：
$1.0万
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2002
资助国家：
美国
项目状态：
已结题
起止时间：
2002-08-15 至 2003-07-31
中文摘要
翻译
第15届高阶逻辑中的定理证明年会
英文摘要
15th Annual Conference on Teorem Proving in Higher Order Logics
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
