書換えシステムとその応用に関する研究
書換えシステムとその応用に関する研究
重写系统及其应用研究
批准号：
96F00162
负责人：
中島 玲二
金额：
$0.77万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
実時間制御システム・ソフトウェアの開発環境
-
批准号：61580025
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$0.64万
-
财政年份：1986
-
负责人：中島 玲二
-
依托单位：
プログラム検証のための自動定理証明システム
-
批准号：58580029
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$1.41万
-
财政年份：1983
-
负责人：中島 玲二
-
依托单位：
モジュラー・プログラミングの基礎理論
-
批准号：57780039
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.58万
-
财政年份：1982
-
负责人：中島 玲二
-
依托单位：
イオタ・プログラミング・システムの研究開発とその応用
-
批准号：X00090----558014
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$1.22万
-
财政年份：1980
-
负责人：中島 玲二
-
依托单位：