Súbor:CompLog2013-Lecture-2-Reasoning-with-FOL.pdf: Rozdiel medzi revíziami
(CompLog 2013, lecture 2: Proof, Hilbert calculus, resolution.) |
(Žiaden rozdiel)
|
Aktuálna revízia z 10:45, 2. október 2013
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/čas | rozmery | používateľ | komentár | |
|---|---|---|---|---|
| aktuálna | 10: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ť.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.