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