Kazakov, Y., & Motik, B. (2008). A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1).
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Kazakov, Y., ба B. Motik. A Resolution-based Decision Procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1). 2008.
MLA -ийн эшлэл (9 дэх хэвлэлт)Kazakov, Y., ба B. Motik. A Resolution-based Decision Procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1). 2008.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.