CompLog2013-Lecture-5-Reasoning-with-DL.pdf(file size: 287 KB, MIME type: application/pdf)

CompLog 2013, lecture 5: Tableau algorithm for description logics

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current00:28, 1 November 2013 (287 KB)Homola (Talk | contribs)CompLog 2013, lecture 5: Tableau algorithm for description logics
  • You cannot overwrite this file.

There are no pages that link to this file.