朱梧
【姓名】 朱梧
【职称】
【研究领域】 计算机软件及计算机应用;文艺理论;中等教育;
【研究方向】
【发表文献关键词】 逻辑程序,安全协议,不可否认性,美感,艺术,相互渗透,相互为用,数学,协议验证,形式化描述,精神文化,最小不动点,验证方法,非否认协议,操作语义,消息发送,规则,模态算子,可信第三方,数学家,美学,通...
【工作单位】 南京航空航天大学
【曾工作单位】 南京航空航天大学;
【所在地域】 江苏南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 1 2 0 43 1338
中国期刊全文数据库    共找到3篇
[1]周勇;朱梧;.多agent逻辑程序及其在协议验证中的应用[J]小型微型计算机系统.2007,(01)
[2]陈桂正,朱梧.论数学与艺术的相互为用与相互渗透的趋势[J]南京航空航天大学学报(社会科学版).2000,(04)
[3]朱梧　.数学文化、数学思维与数学教育[J]数学教育学报.1994,(02)
更多