位置:成果数据库 > 会议 > 会议详情页
Weight Constraint Programs with Functions
  • 所属机构名称:华南师范大学
  • 会议名称:Logic Programming and Nonmonotonic Reasoning, 10th International Conference
  • 成果类型:会议
  • 会场:Potsdam
  • 相关项目:一阶环和环公式在非经典逻辑计算中的理论与应用
同会议论文项目
同项目会议论文