(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 14:26, 4 October 2012 (diff | hist) . . (+14) . . m Course CompLog
- 14:22, 4 October 2012 (diff | hist) . . (+31) . . Course CompLog (pdf Exercises 2 added)
- 14:20, 4 October 2012 (diff | hist) . . (0) . . N Súbor:Exercises-2-FOL.pdf (current)
- 20: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)
- 13:18, 27 September 2012 (diff | hist) . . (-1) . . m Course CompLog
- 13:17, 27 September 2012 (diff | hist) . . (+30) . . Course CompLog
- 13:12, 27 September 2012 (diff | hist) . . (0) . . N Súbor:Exercises-1-FOL.pdf
- 15:55, 17 September 2012 (diff | hist) . . (+88) . . Jozef Frtus/en
- 15:55, 17 September 2012 (diff | hist) . . (-161) . . Jozef Frtus/sk
- 17:28, 14 March 2012 (diff | hist) . . (+247) . . Jozef Frtus/sk
- 20:53, 2 March 2012 (diff | hist) . . (+56) . . m Course KRR
- 16:02, 28 February 2012 (diff | hist) . . (-2) . . m Course KRR
- 14:25, 22 February 2012 (diff | hist) . . (+55) . . Course KRR (link to labs webpage added)
- 12: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)
- 14: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)
- 16:02, 14 September 2011 (diff | hist) . . (-379) . . Jozef Frtus/en
- 16:02, 14 September 2011 (diff | hist) . . (-371) . . Jozef Frtus/sk
- 20:15, 1 September 2011 (diff | hist) . . (+66) . . ReDIK:ReDIK-2011-Workshop
- 20:10, 1 September 2011 (diff | hist) . . (0) . . N Súbor:Frtus talk.pdf (current)
- 07:16, 30 August 2011 (diff | hist) . . (0) . . ReDIK:ReDIK-2011-Workshop
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)