搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Prateek Mishra
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
international joint conference on artificial intelligence,1985, 引用: 34
,1992, 引用: 11
,2007, 引用: 0
JICSLP,1992, 引用: 52
international conference on lightning protection,1995, 引用: 17
Proceedings of the Second International Conference on Algebraic and Logic Programming,1990, 引用: 2
wissensbasierte systeme, . internationaler gi-kongress,1987, 引用: 1
logic-based program synthesis and transformation,1997, 引用: 3
static analysis symposium,2002, 引用: 7
rewriting techniques and applications,1995, 引用: 2
