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

CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.

História súboru

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

dátum/časrozmerypoužívateľkomentár
aktuálna09:45, 2. október 2013 (288 KB)Homola (Diskusia | príspevky)CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.
  • Tento súbor nemôžete prepísať.

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