(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 14:26, 4. október 2012 (rozdiel | história) . . (+14) . . d Course CompLog
- 14:22, 4. október 2012 (rozdiel | história) . . (+31) . . Course CompLog (pdf Exercises 2 added)
- 14:20, 4. október 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-2-FOL.pdf (aktuálne)
- 20:54, 3. október 2012 (rozdiel | história) . . (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) (aktuálne)
- 13:18, 27. september 2012 (rozdiel | história) . . (-1) . . d Course CompLog
- 13:17, 27. september 2012 (rozdiel | história) . . (+30) . . Course CompLog
- 13:12, 27. september 2012 (rozdiel | história) . . (0) . . N Súbor:Exercises-1-FOL.pdf
- 15:55, 17. september 2012 (rozdiel | história) . . (+88) . . Jozef Frtus/en
- 15:55, 17. september 2012 (rozdiel | história) . . (-161) . . Jozef Frtus/sk
- 17:28, 14. marec 2012 (rozdiel | história) . . (+247) . . Jozef Frtus/sk
- 20:53, 2. marec 2012 (rozdiel | história) . . (+56) . . d Course KRR
- 16:02, 28. február 2012 (rozdiel | história) . . (-2) . . d Course KRR
- 14:25, 22. február 2012 (rozdiel | história) . . (+55) . . Course KRR (link to labs webpage added)
- 12:20, 3. január 2012 (rozdiel | história) . . (+53) . . d Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)
- 14:29, 2. január 2012 (rozdiel | história) . . (+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 (rozdiel | história) . . (-379) . . Jozef Frtus/en
- 16:02, 14. september 2011 (rozdiel | história) . . (-371) . . Jozef Frtus/sk
- 20:15, 1. september 2011 (rozdiel | história) . . (+66) . . ReDIK:ReDIK-2011-Workshop
- 20:10, 1. september 2011 (rozdiel | história) . . (0) . . N Súbor:Frtus talk.pdf (aktuálne)
- 07:16, 30. august 2011 (rozdiel | história) . . (0) . . ReDIK:ReDIK-2011-Workshop
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).