線形論理に基づく動的知識の論理構造の解明
線形論理に基づく動的知識の論理構造の解明
基于线性逻辑的动态知识逻辑结构阐释
批准号：
00J04444
负责人：
照井 一成
金额：
$1.02万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2000
资助国家：
日本
项目状态：
已结题
起止时间：
2000 至 2001
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Can Computer be a Mathematician? Automated Theorem Proving in Undergraduate Mathematics
-
批准号：20K11679
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2020
-
负责人：照井 一成
-
依托单位：
計算とルディクス: 論理・計算・複雑さのための一般的フレームワーク構築に向けて
-
批准号：08F08803
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$1.28万
-
财政年份：2008
-
负责人：照井 一成
-
依托单位：
線形論理に基づく動的知識の論理構造の解明
-
批准号：98J06253
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$1.09万
-
财政年份：1998
-
负责人：照井 一成
-
依托单位：