Súbor:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf
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/čas | rozmery | používateľ | komentár | |
|---|---|---|---|---|
| aktuálna | 14:30, 9. október 2012 | (432 KB) | Homola (Diskusia | príspevky) | Calculus, Resolution algorithm |
- Tento súbor nemôžete prepísať.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.