搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Konstantinos F. Sagonas , Gerda Janssens
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
TAPD,1998, 引用: 0
Lecture Notes in Computer Science,1998, 引用: 35
International Journal on Software Tools for Technology Transfer,1998, 引用: 21
Theory and Practice of Logic Programming,2012, 引用: 160
principles and practice of declarative programming,2016, 引用: 2
arXiv: Programming Languages,2010, 引用: 7
arXiv: Programming Languages,2019, 引用: 0
Theory and Practice of Logic Programming,2019, 引用: 1
arXiv: Logic in Computer Science,2020, 引用: 0
Proceedings of the ACM on Programming Languages,2017, 引用: 18
