位置：成果数据库 > 期刊 > 期刊详情页
Well-Formed Normal Forms in Intermediate Logics
  • 期刊名称：数学学报(中文版)
  • 时间：0
  • 页码：181-190
  • 语言：中文
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： 张明义|章衡|
同期刊论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目期刊论文
基于回答集程序的排课系统设计与实现
A Logic-Program-Based Negotiation Mechanism
Loop-separable Programs and Their First-order Definability
中间逻辑中的良构范式