イオタ・プログラミング・システムの研究開発とその応用
イオタ・プログラミング・システムの研究開発とその応用
Iota编程系统的研发及其应用
批准号：
X00090----558014
负责人：
中島 玲二
金额：
$1.22万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1980
资助国家：
日本
项目状态：
已结题
起止时间：
1980 至 1981
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
書換えシステムとその応用に関する研究
-
批准号：96F00162
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$0.77万
-
财政年份：1998
-
负责人：中島 玲二
-
依托单位：
実時間制御システム・ソフトウェアの開発環境
-
批准号：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
-
负责人：中島 玲二
-
依托单位：