Prihlásiť sa

Katedra aplikovanej informatiky

Zobrazenie zdroja stránky Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.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 lecture: Calculus, Hilbert calculus, Resolution

Späť na Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf.

Zdroj: „http://dev.dai.fmph.uniba.sk/w/Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf“

← Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf