搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Konstantinos F. Sagonas , David Scott Warren
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
Journal of Functional and Logic Programming,2000, 引用: 9
Lecture Notes in Computer Science,2000, 引用: 52
international conference on logic programming,1997, 引用: 116
,2005, 引用: 1
,2003, 引用: 16
international database engineering and applications symposium,2002, 引用: 7
Theory and Practice of Logic Programming,2012, 引用: 160
logic-based program synthesis and transformation,2018, 引用: 0
arXiv: Programming Languages,2018, 引用: 0
arXiv: Programming Languages,2003, 引用: 0
