(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 17:48, 25. september 2018 (rozdiel | história) . . (+93) . . d Martin Homola/sk (Publikace na Scholari a DBLP)
- 17:44, 25. september 2018 (rozdiel | história) . . (+19) . . d Martin Homola/sk (Fixed link)
- 13:31, 10. september 2018 (rozdiel | história) . . (+21) . . d Martin Homola/en (web address pretty printing)
- 13:15, 10. september 2018 (rozdiel | história) . . (0) . . Súbor:Homola.jpg (Homola uploaded a new version of Súbor:Homola.jpg)
- 21:30, 18. január 2017 (rozdiel | história) . . (+6) . . Martin Homola/sk
- 21:30, 18. január 2017 (rozdiel | história) . . (+6) . . Martin Homola/en (academic titles corrected)
- 14:06, 4. september 2015 (rozdiel | história) . . (-119) . . People/en (Removing Parulek and Polec (obsolete))
- 13:30, 4. september 2015 (rozdiel | história) . . (-17) . . Research/en (KR Group rewritten)
- 13:26, 4. september 2015 (rozdiel | história) . . (-77) . . People/sk (Removed Peter Novak and Martin Slota (externisti))
- 12:36, 4. september 2015 (rozdiel | história) . . (-18) . . d Research/sk (Uprava formulacie pre KR Group.)
- 23:42, 3. september 2015 (rozdiel | história) . . (0) . . Research/sk (Uprava KR Group.)
- 14:33, 29. júl 2015 (rozdiel | história) . . (-1) . . Julia Pukancova/en (fixed e-mail address)
- 14:02, 21. október 2014 (rozdiel | história) . . (-11) . . Course CompLog (Projects published)
- 13:52, 21. október 2014 (rozdiel | história) . . (+7) . . Course CompLog
- 13:52, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf (aktuálne)
- 13:51, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-4-Description-Logics.pdf (aktuálne)
- 13:51, 21. október 2014 (rozdiel | história) . . (0) . . Course CompLog
- 15:58, 7. október 2014 (rozdiel | história) . . (+1) . . Course CompLog (Added: lecture 3)
- 15:57, 7. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf (aktuálne)
- 23:22, 30. september 2014 (rozdiel | história) . . (+55) . . N Súbor:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf (CompLog lecture: Calculus, Hilbert calculus, Resolution) (aktuálne)
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).