On deciding subsumption problems
- 期刊名称Annals of Mathematics and Artificial Intelligence
- 作者Uwe Egly; Reinhard Pichler; Stefan Woltran
- 卷第43卷
- 印刷ISSN1012-2443
- 电子ISSN1573-7470
- 文件大小361.61KB
- 发表时间2005-01
- DOI10.1007/s10472-005-0434-4
- 页码255-294
海量图书期刊资源，随时随地畅享阅读乐趣