(newest | oldest) View (newer 100 | older 100) (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
- 21:30, 29 August 2011 (diff | hist) . . (+22) . . ReDIK:ReDIK-2011-Workshop
- 21:10, 29 August 2011 (diff | hist) . . (+551) . . ReDIK:ReDIK-2011-Workshop
- 11:31, 27 March 2011 (diff | hist) . . (+47) . . Jozef Frtus/en
- 11:31, 27 March 2011 (diff | hist) . . (-1) . . Jozef Frtus/sk
- 11:30, 27 March 2011 (diff | hist) . . (+48) . . Jozef Frtus/sk
- 11:32, 15 March 2011 (diff | hist) . . (+416) . . Jozef Frtus/en
- 11:29, 15 March 2011 (diff | hist) . . (+449) . . Jozef Frtus/sk
- 20:51, 22 September 2010 (diff | hist) . . (+12) . . Jozef Frtus/en
- 10:26, 14 September 2010 (diff | hist) . . (+85) . . Jozef Frtus/sk
- 10:18, 14 September 2010 (diff | hist) . . (+85) . . Jozef Frtus/en
- 10:12, 14 September 2010 (diff | hist) . . (0) . . N Súbor:Frtus.jpg (current)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)