(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 13:22, 4 October 2012 (diff | hist) . . (+31) . . Course CompLog (pdf Exercises 2 added)
- 13:20, 4 October 2012 (diff | hist) . . (0) . . N Súbor:Exercises-2-FOL.pdf (current)
- 19:54, 3 October 2012 (diff | hist) . . (0) . . Súbor:Exercises-1-FOL.pdf (uploaded a new version of "File:Exercises-1-FOL.pdf": opraveny preklep v Ulohe 4 g): miesto "((∃x)Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka)), Ján)" malo byt "(∃x)(Kam(najŠtudentka,x) ∧ Muž(x)) → Kam(S(S(najŠtudentka) (current)
- 12:18, 27 September 2012 (diff | hist) . . (-1) . . m Course CompLog
- 12:17, 27 September 2012 (diff | hist) . . (+30) . . Course CompLog
- 12:12, 27 September 2012 (diff | hist) . . (0) . . N Súbor:Exercises-1-FOL.pdf
- 14:55, 17 September 2012 (diff | hist) . . (+88) . . Jozef Frtus/en
- 14:55, 17 September 2012 (diff | hist) . . (-161) . . Jozef Frtus/sk
- 16:28, 14 March 2012 (diff | hist) . . (+247) . . Jozef Frtus/sk
- 19:53, 2 March 2012 (diff | hist) . . (+56) . . m Course KRR
- 15:02, 28 February 2012 (diff | hist) . . (-2) . . m Course KRR
- 13:25, 22 February 2012 (diff | hist) . . (+55) . . Course KRR (link to labs webpage added)
- 11:20, 3 January 2012 (diff | hist) . . (+53) . . m Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)
- 13:29, 2 January 2012 (diff | hist) . . (+145) . . Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) (Frtus publikacie)
- 15:02, 14 September 2011 (diff | hist) . . (-379) . . Jozef Frtus/en
- 15:02, 14 September 2011 (diff | hist) . . (-371) . . Jozef Frtus/sk
- 19:15, 1 September 2011 (diff | hist) . . (+66) . . ReDIK:ReDIK-2011-Workshop
- 19:10, 1 September 2011 (diff | hist) . . (0) . . N Súbor:Frtus talk.pdf (current)
- 06:16, 30 August 2011 (diff | hist) . . (0) . . ReDIK:ReDIK-2011-Workshop
- 20:30, 29 August 2011 (diff | hist) . . (+22) . . ReDIK:ReDIK-2011-Workshop
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)