4月16日沈榆平讲座：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas
来源：会议讲座
作者：
时间：2014-04-15
讲座人：沈榆平 博士
讲座题目：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas
讲座时间地点：4月16日（周三），下午两点，哲学系B114
（讲座摘要及论文请参考附件）
讲座人简介：沈榆平，1980年12月出生，籍贯广东省梅州市，中山大学哲学系与法国马赛二大计算机系联合培养博士生专业方向：数理逻辑及应用 ，研究兴趣：知识表示与推理，非单调逻辑, 逻辑程序，计算复杂性。
20140415181749_1.pdf
20140415181758_2.pdf
讲座题目：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas
讲座时间地点：4月16日（周三），下午两点，哲学系B114
（讲座摘要及论文请参考附件）
讲座人简介：沈榆平，1980年12月出生，籍贯广东省梅州市，中山大学哲学系与法国马赛二大计算机系联合培养博士生专业方向：数理逻辑及应用 ，研究兴趣：知识表示与推理，非单调逻辑, 逻辑程序，计算复杂性。
20140415181749_1.pdf 20140415181758_2.pdf