王利明
【姓名】 王利明
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 元数学,公式,程序设计语言,程序设计语,元定理,数学,机器语言,形式化,形式系统,公理模式,语言描述,语言规范,语言,公理,高级程序设计语言,执行代码,友好界面,计算机,程序的正确性,形式方法,
【工作单位】 东南大学
【曾工作单位】 东南大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 0 0 32
中国期刊全文数据库    共找到1篇
[1]王玲,王利明.从元数学的角度评析程序设计语言[J]电子工程师.1998,(03)
更多