摘要：从逻辑编程到约束逻辑编程的探讨及实现方式研究
作者：Joachim Schimpf and Kish Shen
论文ID：1012.4240
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-12-21
PDF 下载： 英文版 中文版pdf翻译中