(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:48, 1 March 2015 (diff | hist) . . (+54) . . Julia Pukancova/en
- 14:43, 1 March 2015 (diff | hist) . . (+98) . . Julia Pukancova/en
- 13:26, 25 November 2014 (diff | hist) . . (+4) . . Course CompLog (exercises 9)
- 13:22, 25 November 2014 (diff | hist) . . (+30) . . N Súbor:CompLog2014-Exercises-9-Prolog.pdf (exercises 9 for course CompLog) (current)
- 10:17, 20 November 2014 (diff | hist) . . (0) . . Course CompLog (oprava linku)
- 10:14, 20 November 2014 (diff | hist) . . (-99) . . Course CompLog (exercises 7 and 8)
- 10:13, 20 November 2014 (diff | hist) . . (+30) . . N Súbor:CompLog2014-Exercises-8-Logic-Programming.pdf (exercises 8 for course CompLog) (current)
- 10:09, 20 November 2014 (diff | hist) . . (+30) . . N Súbor:CompLog2014-Exercises-7-Reasoning-with-DL.pdf (exercises 7 for course CompLog) (current)
- 16:26, 3 November 2014 (diff | hist) . . (+80) . . Course CompLog (exercise 6 added)
- 16:25, 3 November 2014 (diff | hist) . . (+35) . . N Súbor:CompLog2014-Exercises-6-Reasoning-with-DL.pdf (exercise 6 from computational logic) (current)
- 15:08, 23 October 2014 (diff | hist) . . (-64) . . Course CompLog (added exercise 5)
- 15:06, 23 October 2014 (diff | hist) . . (+27) . . N Súbor:CompLog2014-Exercises-5-DL.pdf (exercise for CompLog course) (current)
- 10:50, 23 October 2014 (diff | hist) . . (+81) . . Course CompLog (added 4. exercise)
- 10:48, 23 October 2014 (diff | hist) . . (+27) . . N Súbor:CompLog2014-Exercises-4-Resolution.pdf (exercise for CompLog course) (current)
- 23:25, 14 October 2014 (diff | hist) . . (+89) . . Course CompLog (Added: exercise 2-3)
- 23:20, 14 October 2014 (diff | hist) . . (+27) . . N Súbor:CompLog2014-Exercises-2-3-FOL.pdf (exercise for course CompLog) (current)
- 09:23, 7 October 2014 (diff | hist) . . (-12) . . Course CompLog
- 09:19, 7 October 2014 (diff | hist) . . (+24) . . Course CompLog
- 09:16, 7 October 2014 (diff | hist) . . (-20) . . Course CompLog (oprava linku)
- 09:16, 7 October 2014 (diff | hist) . . (+125) . . Course CompLog (zmeneny link na tabulku s bodmi)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)