CompLog2012-Lecture-2-Reasoning-with-FOL.pdf(veľkosť súboru: 432 KB, MIME typ: application/pdf)

Calculus, Resolution algorithm

História súboru

Po kliknutí na dátum/čas uvidíte súbor ako vyzeral vtedy.

dátum/časrozmerypoužívateľkomentár
aktuálna14:30, 9. október 2012 (432 KB)Homola (Diskusia | príspevky)Calculus, Resolution algorithm
  • Tento súbor nemôžete prepísať.

Žiadne stránky neobsahujú odkazy na tento obrázok.

Revízia z 14:30, 9. október 2012; Homola (Diskusia | príspevky)

(rozdiel) ← Staršia verzia | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)