CompLog2012-Lecture-4-Reasoning-with-DL.pdf(veľkosť súboru: 433 KB, MIME typ: application/pdf)

Tableau reasoning algorithm for ALC DL

História súboru

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

dátum/časrozmerypoužívateľkomentár
aktuálna09:41, 23. október 2012 (433 KB)Homola (Diskusia | príspevky)
09:39, 23. október 2012 (40 B)Homola (Diskusia | príspevky)Fixed typos
10:05, 17. október 2012 (424 KB)Homola (Diskusia | príspevky)Tableau reasoning algorithm for ALC DL
  • Tento súbor nemôžete prepísať.

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

Revízia z 09:41, 23. október 2012; Homola (Diskusia | príspevky)

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