帰納的定義を用いたプログラム合成
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
批准号：
04780019
负责人：
龍田 真
金额：
$0.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1992
资助国家：
日本
项目状态：
已结题
起止时间：
1992 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
分離論理を用いたソフトウェア検証の発展
-
批准号：21H03421
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.82万
-
财政年份：2021
-
负责人：龍田 真
-
依托单位：
帰納的定義を用いたプログラム合成
-
批准号：09780264
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$1.54万
-
财政年份：1997
-
负责人：龍田 真
-
依托单位：
帰納的定義を用いたプログラム合成
-
批准号：08780236
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.7万
-
财政年份：1996
-
负责人：龍田 真
-
依托单位：
帰納的定義を用いたプログラム合成
-
批准号：07780217
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.7万
-
财政年份：1995
-
负责人：龍田 真
-
依托单位：
帰納的定義を用いたプログラム合成
-
批准号：06780224
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.58万
-
财政年份：1994
-
负责人：龍田 真
-
依托单位：
帰納的定義を用いたプログラム合成
-
批准号：05780220
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.58万
-
财政年份：1993
-
负责人：龍田 真
-
依托单位：