Súbor:CompLog2013-Lecture-1-FOL.pdf: Rozdiel medzi revíziami
(Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.) |
(Žiaden rozdiel)
|
Aktuálna revízia z 14:20, 25. september 2013
Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics.
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:20, 25. september 2013 | (244 KB) | Homola (Diskusia | príspevky) | Computational Logic, lecture 1: Introduction to First Order Logic (FOL). Syntax and Semantics. |
- Tento súbor nemôžete prepísať.
Použitie súboru
Žiadne stránky neobsahujú odkazy na tento obrázok.