User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 19:33, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 19:33, 30 December 2014 (diff | hist) . . (0) . . Course CompLog (current)
- 19:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-10-ASP.pdf (current)
- 19:32, 30 December 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-9-Applications-of-Prolog.pdf (current)
- 19:30, 30 December 2014 (diff | hist) . . (-28) . . Course CompLog
- 16:39, 10 December 2014 (diff | hist) . . (-1) . . KR Seminar (current)
- 16:38, 10 December 2014 (diff | hist) . . (0) . . KR Seminar
- 14:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-8-Prolog.pdf (current)
- 14:26, 18 November 2014 (diff | hist) . . (0) . . N Súbor:CompLog2014-Lecture-7-LP.pdf (current)
- 14:25, 18 November 2014 (diff | hist) . . (+43) . . Course CompLog
- 16:27, 3 November 2014 (diff | hist) . . (+19) . . Course CompLog
- 10:22, 10 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-11-Extensions-and-Applications-of-ASP.pdf (current)
- 23:41, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-9-LP.pdf (current)
- 23:40, 9 December 2013 (diff | hist) . . (+67) . . Course CompLog
- 23:22, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-9-Applications-of-Prolog.pdf (current)
- 23:16, 9 December 2013 (diff | hist) . . (+278) . . Course CompLog
- 23:16, 9 December 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-10-Answer-Set-Programming.pdf (current)
- 14:38, 2 December 2013 (diff | hist) . . (+1) . . Course CompLog
- 14:38, 2 December 2013 (diff | hist) . . (0) . . Súbor:CompLog2013-Lecture-7-LP.pdf (uploaded a new version of "File:CompLog2013-Lecture-7-LP.pdf") (current)
- 14:37, 2 December 2013 (diff | hist) . . (-1) . . Course CompLog
- 15:37, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-7-LP.pdf (current)
- 15:16, 27 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-8-LP.pdf (current)
- 15:15, 27 November 2013 (diff | hist) . . (+35) . . Course CompLog
- 14:37, 27 November 2013 (diff | hist) . . (+111) . . Course CompLog
- 17:21, 20 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-8-Prolog.pdf (current)
- 08:55, 19 November 2013 (diff | hist) . . (+22) . . Course CompLog
- 02:43, 19 November 2013 (diff | hist) . . (+52) . . Course CompLog
- 02:41, 19 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-7-LP.pdf
- 02:40, 19 November 2013 (diff | hist) . . (+75) . . Course CompLog
- 15:40, 6 November 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-6-DL.pdf (current)
- 15:38, 6 November 2013 (diff | hist) . . (+74) . . Course CompLog
- 16:26, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-3-FOL.pdf (current)
- 16:25, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 14:01, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Lecture-3-Applications-of-FOL.pdf (current)
- 14:00, 8 October 2013 (diff | hist) . . (+78) . . Course CompLog
- 13:43, 8 October 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-2-FOL.pdf (current)
- 13:42, 8 October 2013 (diff | hist) . . (+73) . . Course CompLog
- 13:33, 4 October 2013 (diff | hist) . . (-24) . . Course CompLog
- 10:58, 1 October 2013 (diff | hist) . . (+321) . . KR Seminar
- 17:28, 25 September 2013 (diff | hist) . . (0) . . N Súbor:CompLog2013-Exercises-1-FOL.pdf (current)
- 13:50, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:48, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:47, 25 September 2013 (diff | hist) . . (+1) . . Course CompLog
- 13:04, 25 September 2013 (diff | hist) . . (0) . . Course CompLog
- 13:03, 25 September 2013 (diff | hist) . . (+34) . . Course CompLog
- 12:53, 25 September 2013 (diff | hist) . . (+15) . . Course CompLog
- 12:41, 25 September 2013 (diff | hist) . . (-1,193) . . Course CompLog
- 11:01, 22 May 2013 (diff | hist) . . (-1) . . KR Seminar
- 11:01, 22 May 2013 (diff | hist) . . (+6) . . KR Seminar
- 22:51, 7 May 2013 (diff | hist) . . (+9) . . KR Seminar
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)