位置：成果数据库 > 期刊 > 期刊详情页
基于回答集程序的排课系统设计与实现
  • ISSN号：1005-3751
  • 期刊名称：计算机技术与发展
  • 时间：0
  • 页码：228-232
  • 语言：中文
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： 陈寅|吕勇全|邬家炜|庄伟杰|
同期刊论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目期刊论文
A Logic-Program-Based Negotiation Mechanism
Loop-separable Programs and Their First-order Definability
Well-Formed Normal Forms in Intermediate Logics
中间逻辑中的良构范式