Príspevky používateľa
(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).
- 22:01, 24. august 2011 (rozdiel | história) . . (+964) . . ReDIK:ReDIK-2011-Workshop (added my talk's abstract)
- 21:53, 24. august 2011 (rozdiel | história) . . (+384) . . N ReDIK:ReDIK-2011-Workshop (First outline: program and abstracts hedings)
- 13:19, 9. november 2010 (rozdiel | história) . . (+151) . . Computational Logic (Midterm results and details removed. Results (midterm and wiki) are now linked and password-protected.)
- 13:12, 9. november 2010 (rozdiel | história) . . (-979) . . Computational Logic (Revert)
- 13:34, 2. november 2010 (rozdiel | história) . . (+6) . . Computational Logic (midterm in boldface)
- 21:18, 25. október 2010 (rozdiel | história) . . (-116) . . Topics for Diploma Theses/sk
- 21:23, 20. september 2010 (rozdiel | história) . . (-37) . . d Computational Logic
- 21:22, 20. september 2010 (rozdiel | história) . . (0) . . Computational Logic (Some interlinking and fixes)
- 21:21, 20. september 2010 (rozdiel | história) . . (+70) . . Computational Logic
- 21:19, 20. september 2010 (rozdiel | história) . . (+109) . . Computational Logic
- 21:17, 20. september 2010 (rozdiel | história) . . (+585) . . Computational Logic (lecture notes assignmet description)
- 20:17, 20. september 2010 (rozdiel | história) . . (+517) . . Computational Logic (Evaliation)
- 19:56, 20. september 2010 (rozdiel | história) . . (+155) . . Computational Logic (Syllabus: Context details)
- 19:42, 20. september 2010 (rozdiel | história) . . (+192) . . Computational Logic (Syllabus: LP details)
- 19:36, 20. september 2010 (rozdiel | história) . . (+146) . . Computational Logic (Syllabus: DL details)
- 19:33, 20. september 2010 (rozdiel | história) . . (+209) . . Computational Logic (Syllabus: Modal logics detailed)
- 19:29, 20. september 2010 (rozdiel | história) . . (+458) . . Computational Logic (Sylabus: PL and FL detailed)
- 19:00, 20. september 2010 (rozdiel | história) . . (-3) . . Computational Logic (fixed lecture scedule)
- 23:58, 17. september 2010 (rozdiel | história) . . (-2) . . Computational Logic (fixed 2nd labs schedule)
- 19:12, 17. september 2010 (rozdiel | história) . . (-16) . . Computational Logic (Fixing course name)
- 02:24, 17. september 2010 (rozdiel | história) . . (+35) . . Computational Logic (added section Literature)
- 02:20, 17. september 2010 (rozdiel | história) . . (+225) . . Computational Logic (Basic information)
- 02:13, 17. september 2010 (rozdiel | história) . . (+16) . . d Computational Logic (strucutre editions)
- 02:10, 17. september 2010 (rozdiel | história) . . (+152) . . Computational Logic (basic structure)
- 02:05, 17. september 2010 (rozdiel | história) . . (+957) . . N Computational Logic (New page, basic information)
- 01:49, 17. september 2010 (rozdiel | história) . . (+926) . . N Introduction to Computational Logic (Move did not work)
- 01:42, 17. september 2010 (rozdiel | história) . . (-30) . . Martin Homola/en (Courses updated)
- 01:40, 17. september 2010 (rozdiel | história) . . (0) . . d Introduction to Computational Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation)
- 01:40, 17. september 2010 (rozdiel | história) . . (+52) . . N Introduction to Computer Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation) (aktuálne)
- 10:45, 26. január 2010 (rozdiel | história) . . (+12) . . Sandbox/en
- 10:41, 26. január 2010 (rozdiel | história) . . (+109) . . Sandbox/en
- 10:36, 26. január 2010 (rozdiel | história) . . (-133) . . Sandbox/en
- 10:33, 26. január 2010 (rozdiel | história) . . (+38) . . Sandbox/en
- 10:27, 26. január 2010 (rozdiel | história) . . (+53) . . Sandbox/en
- 10:23, 26. január 2010 (rozdiel | história) . . (+1 660) . . Sandbox/en
- 13:17, 11. december 2009 (rozdiel | história) . . (+100) . . Internal:SWEEP Meeting 2009-12-11 (aktuálne)
- 12:55, 11. december 2009 (rozdiel | história) . . (+590) . . Internal:SWEEP Meeting 2009-12-11
- 12:24, 11. december 2009 (rozdiel | história) . . (+292) . . Internal:SWEEP Meeting 2009-12-11
- 12:09, 11. december 2009 (rozdiel | história) . . (+472) . . N Internal:SWEEP Meeting 2009-12-11 (Created page with 'Diskusia s Danom Adamom o jeho bakalárke. * Feri navrhuje upresnenie témy: ** pri tvorbe modelu urobiť aj nejaký poriadok... ** vytvoriť prekladové vrstvy ** vytvoriť vý…')
- 11:46, 11. december 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP (aktuálne)
- 13:29, 9. október 2009 (rozdiel | história) . . (+368) . . N Internal:SWEEP Meeting 2009-10-09 (Created page with '==Slides== * Switching between modes: e-learning (tree), print (single page), presentation (slides) * Realtime notes * Export: LaTeX/PDF * Movies/animation * Wiki versioning * S…') (aktuálne)
- 12:47, 9. október 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP
- 14:39, 2. október 2009 (rozdiel | história) . . (+60) . . Internal:SWEEP Meeting 2009-10-02 (aktuálne)
- 14:31, 2. október 2009 (rozdiel | história) . . (+181) . . N Internal:SWEEP Meeting 2009-10-02 (Created page with '* Events * Historical data * Weekly structure * Integration of each schema into a global schema * bachelor project of Daniel Adam * meeting with Daniel next week on Wednesday (t…')
- 13:44, 2. október 2009 (rozdiel | história) . . (+40) . . Internal:SWEEP
- 13:31, 29. september 2009 (rozdiel | história) . . (+1) . . d Internal:How to easily include blogging in my course (typo) (aktuálne)
- 13:30, 29. september 2009 (rozdiel | história) . . (+2) . . d Internal:How to easily include blogging in my course (formatting)
- 13:29, 29. september 2009 (rozdiel | história) . . (+908) . . Internal:How to easily include blogging in my course
- 13:02, 29. september 2009 (rozdiel | história) . . (+405) . . Internal:How to easily include blogging in my course (Evaluation)
- 12:53, 29. september 2009 (rozdiel | história) . . (+1 025) . . Internal:How to easily include blogging in my course (Instroctions for Students)
(najnovšie | najstaršie) Zobraziť (50 novších | 50 starších) (20 | 50 | 100 | 250 | 500).