Prihlásiť sa

Katedra aplikovanej informatiky

Zobrazenie zdroja stránky Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf

Nemáte oprávnenie upravovať túto stránku z nasledovného dôvodu:

Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia.

Môžete si zobraziť a kopírovať zdroj tejto stránky:

CompLog 2013, lecture 5: Tableau algorithm for description logics

Späť na Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf.

Zdroj: „http://dev.dai.fmph.uniba.sk/w/Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf“

← Súbor:CompLog2013-Lecture-5-Reasoning-with-DL.pdf