沈清
【姓名】 沈清
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 元数学,程序设计语言,形式化,思维方法,元定理,程序设计语,机器语言,形式系统,数学,语言规范,公理,公理模式,语言,证明过程,高级程序设计语言,执行代码,友好界面,程序的正确性,形式方法,元语言,
【工作单位】 中国国电集团南京电力自动化设备总厂
【曾工作单位】 中国国电集团南京电力自动化设备总厂;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 0 0 3 68
中国期刊全文数据库    共找到1篇
[1]王玲,唐立中,沈清.元数学与程序设计语言[J]小型微型计算机系统.1999,(09)
更多