A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

Detaylı Bibliyografya
Asıl Yazarlar:	Kazakov, Y, Motik, B
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2008