朱梧
【姓名】 朱梧
【职称】 教授;
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 Vakarelov问题,KR-结构的扩充,知识表示系统,信息逻辑,模态词,引理,典范模型,关系结构,布尔组合,公理,布尔模态逻辑,极大相容集,标准模型,赋值函数,当且仅当,非标准模型,合适公式,逆关系...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 0 33
中国期刊全文数据库    共找到1篇
[1]朱朝晖,毛宇光,朱梧.Vakarelov问题的研究[J]计算机学报.1999,(04)
更多