摘要：2010年7月15日英国苏格兰爱丁堡举办的约束逻辑编程系统实施和基于逻辑的编程环境方法联合研讨会在线会议记录
作者：German Vidal, Neng-Fa Zhou
论文ID：1009.4020
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-09-22
PDF 下载： 英文版 中文版pdf翻译中