位置：成果数据库 > 期刊 > 期刊详情页
开放逻辑中基于一优先序的R-重构
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：1999，36（5），523-527
  • 语言：中文
  • 相关项目：若干典型的非单调逻辑的比较研究
作者： 苏开乐|
关于苏开乐：

若干典型的非单调逻辑的比较研究
期刊论文 7
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
认识逻辑及其在安全协议设计、验证中的应用
期刊论文 14 会议论文 5
同期刊论文项目
若干典型的非单调逻辑的比较研究
期刊论文 7
同项目期刊论文
一个二阶的Context逻辑
关于主体的逻辑推理性质的逻辑
A three-valued quantificational Logic of Context
关于D.W.Etherington的扩充产生算法的一个注记
分层次背景逻辑
Computation of extensions of seminormal default theories