张玉平
【姓名】 张玉平
【职称】 教授;
【研究领域】 数学;自动化技术;计算机软件及计算机应用;
【研究方向】 计算机科学理论方面的研究工作
【发表文献关键词】 证明论,模型论,一阶语言,开放逻辑,抽象逻辑,ATMS,认识进程,非单调逻辑,证明树,模型类,缺省推理,一阶谓词逻辑,经典逻辑,力迫,导出关系,公式集,公理,力迫条件,完全性,逻辑,特征规则,反应式移...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 5 9 6 20 764
中国期刊全文数据库    共找到10篇
[1]季浩宇;张玉平;魏光美;.(2+1)维常系数Yu-Toda-Sasa-Fukuyama方程的Lie对称分析与守恒律研究[J]应用数学学报.2025,(06)
[2]余兰;张玉平;魏光美;.贝尔多项式方法在6阶KdV方程的应用[J]北京信息科技大学学报(自然科学版).2018,(02)
[3]王勇,黄瑶,张玉平.基于反应式移动代理的主动网络故障检测[J]华中科技大学学报(自然科学版).2003,(S1)
[4]张玉平.计算机科学中的一些逻辑理论的推理性质研究[J]计算机学报.1999,(06)
[5]张玉平.搜索算法的逻辑分析[J]软件学报.1999,(02)
[6]张玉平，李未.维护的证明论系统[J]软件学报.1995,(09)
[7]李未,张玉平.描述认识进程的抽象逻辑[J]中国科学E辑:技术科学.1996,(02)
[8]张玉平，怀进鹏.ATMS的模型论基础[J]计算机学报.1996,(09)
[9]张玉平.Horn型推导关系[J]中国科学E辑:技术科学.1998,(02)
[10]张玉平.可定义的推导关系[J]中国科学E辑:技术科学.1998,(05)
更多