Scifaro

中文

CICLOPS-WLPE 2010 会议论文集

编程语言 2010-09-22 v1

作者: German Vidal , Neng-Fa Zhou

在 arXiv 上查看 ↗ PDF ↗

摘要

约束逻辑编程系统实现与编程环境中基于逻辑的方法联合研讨会（CICLOPS-WLPE 2010）在线论文集，2010年7月15日，英国苏格兰爱丁堡。

关键词

约束逻辑编程逻辑编程实现编程环境研讨会论文集

引用

@article{arxiv.1009.4020,
  title  = {Proceedings of CICLOPS-WLPE 2010},
  author = {German Vidal and Neng-Fa Zhou},
  journal= {arXiv preprint arXiv:1009.4020},
  year   = {2010}
}