(Tableau reasoning algorithm for ALC DL) |
(uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf") |
| (One intermediate revision by the same user not shown) | |
(Žiaden rozdiel)
| |
Aktuálna revízia z 10:41, 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/čas | rozmery | používateľ | komentár | |
|---|---|---|---|---|
| aktuálna | 10:41, 23. október 2012 | (433 KB) | Homola (Diskusia | príspevky) | |
| 10:39, 23. október 2012 | (40 B) | Homola (Diskusia | príspevky) | Fixed typos | |
| 11:05, 17. október 2012 | (424 KB) | Homola (Diskusia | príspevky) | Tableau reasoning algorithm for ALC DL |
- Tento súbor nemôžete prepísať.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.