钱磊
【姓名】 钱磊
【职称】
【研究领域】 数学;物理学;无线电电子学;
【研究方向】
【发表文献关键词】 合理事实反驳,相容性证明,逻辑系统,可信序,数学系统,合式公式,归纳假设,开放逻辑,最大前节重构,自由变元,事实反驳,理想事实反驳,递归函数论,模型类,中介逻辑,定理,归纳法,归纳证明,演算系统,相容...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 1 1 3 6 300
中国期刊全文数据库    共找到2篇
[1]苏开乐，丁德成，孙智伟，钱磊.开放逻辑中的合理事实反驳模型类[J]计算机学报.1994,(05)
[2]钱磊.中介逻辑系统ML的相容性证明[J]模糊系统与数学.1987,(00)
更多
中国优秀硕士学位论文全文数据库    共找到2篇