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: Tableau reasoning algorithm for ALC DL Späť na Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf. ← Súbor:CompLog2012-Lecture-4-Reasoning-with-DL.pdf