CORC

浏览/检索结果: 共1条,第1-1条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
reasoning with recursive loops under the plp framework 期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
收藏  |  浏览/下载:12/0  |  提交时间:2011/06/10


©版权所有 ©2017 CSpace - Powered by CSpace