(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 11:36, 4. september 2015 (rozdiel | história) . . (-18) . . d Research/sk (Uprava formulacie pre KR Group.)
- 22:42, 3. september 2015 (rozdiel | história) . . (0) . . Research/sk (Uprava KR Group.)
- 13:33, 29. júl 2015 (rozdiel | história) . . (-1) . . Julia Pukancova/en (fixed e-mail address)
- 13:02, 21. október 2014 (rozdiel | história) . . (-11) . . Course CompLog (Projects published)
- 12:52, 21. október 2014 (rozdiel | história) . . (+7) . . Course CompLog
- 12:52, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf (aktuálne)
- 12:51, 21. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-4-Description-Logics.pdf (aktuálne)
- 12:51, 21. október 2014 (rozdiel | história) . . (0) . . Course CompLog
- 14:58, 7. október 2014 (rozdiel | história) . . (+1) . . Course CompLog (Added: lecture 3)
- 14:57, 7. október 2014 (rozdiel | história) . . (0) . . N Súbor:CompLog2014-Lecture-3-Applications-of-FOL.pdf (aktuálne)
- 22: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)
- 22:07, 30. september 2014 (rozdiel | história) . . (+42) . . N Súbor:CompLog2014-Lecture-1-FOL.pdf (CompLog lecture 1: FOL sytax and semantics) (aktuálne)
- 22:05, 30. september 2014 (rozdiel | história) . . (+19) . . Course CompLog (Fixes in info, schedule, and commenting out old lectures)
- 10:54, 10. marec 2014 (rozdiel | história) . . (+10) . . People/en (Fixing data and links: M. Slota (external collaborators))
- 10:52, 10. marec 2014 (rozdiel | história) . . (+5) . . Peter Novak/en (PhD added)
- 10:40, 10. marec 2014 (rozdiel | história) . . (+56) . . People/en (Fixing link to Kvasnicka's homepage)
- 10:36, 10. marec 2014 (rozdiel | história) . . (+223) . . People/en (Added Martin Krupa & Robert Mraz (external collaborators))
- 10:15, 18. február 2014 (rozdiel | história) . . (+3) . . d Course KRR (aktuálne)
- 10:15, 18. február 2014 (rozdiel | história) . . (+11) . . Course KRR
- 10:15, 18. február 2014 (rozdiel | história) . . (+44) . . Course KRR (Hiding contents)
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).