(Tableau reasoning algorithm for ALC DL)
 
(uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf": Fixed typos)
(Žiaden rozdiel)

Verzia zo dňa a času 09:39, 23. október 2012

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.