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/čas | rozmery | používateľ | komentár | |
---|---|---|---|---|
aktuálna | 01: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ť.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.