Prihlásiť sa

Katedra aplikovanej informatiky

Zobrazenie zdroja stránky Súbor:CompLog2013-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 2013, lecture 2: Proof, Hilbert calculus, resolution.

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

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

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