形式言語の数学的意味論に基づくプログラム・シンセシスの論理体系とその基礎理論
形式言語の数学的意味論に基づくプログラム・シンセシスの論理体系とその基礎理論
基于形式语言数学语义的程序综合逻辑系统及其基本理论
批准号：
X00095----464073
负责人：
謝 章史
金额：
$0.31万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (D)
财政年份：
1979
资助国家：
日本
项目状态：
已结题
起止时间：
1979 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文