汪亚文
【姓名】 汪亚文
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 删除规则,反例,反驳,证明演算,假设演算,推演序列,与或树,演算,假设集合,开放逻辑,可删除,公式集,实现技术,基本公式,逻辑结论,事实性,开放逻辑系统,FORM,置信度,可满足,
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 0 1 1 70
中国期刊全文数据库    共找到1篇
[1]汪亚文,李未.开放逻辑及其实现技术[J]北京航空航天大学学报.1992,(03)
更多