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.
  著者:: Kazakov, Y, 等
  出版事項: (2008)
• A Resolution−Based Decision Procedure for SHOIQ
  著者:: Kazakov, Y, 等
  出版事項: (2008)
• A Resolution−Based Decision Procedure for SHOIQ.
  著者:: Kazakov, Y, 等
  出版事項: (2006)
• A resolution-based decision procedure for SHOIQ
  著者:: Kazakov, Y, 等
  出版事項: (2008)
• RIQ and SROIQ are Harder than SHOIQ
  著者:: Kazakov, Y
  出版事項: (2008)