谢康
【姓名】 谢康
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 假说演算,PN合一,证伪方法论,BN合一,关系变元,项重写系统,证伪方法,机器发现,正例,启发规则,发现逻辑,假说,机器定理证明,多证多驳法,二阶,图式,引理,逻辑反驳,子句集,逻辑,
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 0 1 0 18
中国期刊全文数据库    共找到1篇
[1]谢康,孙怀民.基于Lakatos证伪方法论的机器发现逻辑[J]北京航空航天大学学报.1992,(03)
更多