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)

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kazakov, Y, Motik, B
التنسيق: Journal article
اللغة:English
منشور في: 2008
الوصف
الملخص:

مواد مشابهة