CompLog2013-Lecture-5-Reasoning-with-DL.pdf(veľkosť súboru: 287 KB, MIME typ: application/pdf)

CompLog 2013, lecture 5: Tableau algorithm for description logics

História súboru

Po kliknutí na dátum/čas uvidíte súbor ako vyzeral vtedy.

dátum/časrozmerypoužívateľkomentár
aktuálna00:28, 1. november 2013 (287 KB)Homola (Diskusia | príspevky)CompLog 2013, lecture 5: Tableau algorithm for description logics
  • Tento súbor nemôžete prepísať.

Žiadne stránky neobsahujú odkazy na tento obrázok.

Revízia z 00:28, 1. november 2013; Homola (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)