User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 23:01, 24 August 2011 (diff | hist) . . (+964) . . ReDIK:ReDIK-2011-Workshop (added my talk's abstract)
- 22:53, 24 August 2011 (diff | hist) . . (+384) . . N ReDIK:ReDIK-2011-Workshop (First outline: program and abstracts hedings)
- 14:19, 9 November 2010 (diff | hist) . . (+151) . . Computational Logic (Midterm results and details removed. Results (midterm and wiki) are now linked and password-protected.)
- 14:12, 9 November 2010 (diff | hist) . . (-979) . . Computational Logic (Revert)
- 14:34, 2 November 2010 (diff | hist) . . (+6) . . Computational Logic (midterm in boldface)
- 22:18, 25 October 2010 (diff | hist) . . (-116) . . Topics for Diploma Theses/sk
- 22:23, 20 September 2010 (diff | hist) . . (-37) . . m Computational Logic
- 22:22, 20 September 2010 (diff | hist) . . (0) . . Computational Logic (Some interlinking and fixes)
- 22:21, 20 September 2010 (diff | hist) . . (+70) . . Computational Logic
- 22:19, 20 September 2010 (diff | hist) . . (+109) . . Computational Logic
- 22:17, 20 September 2010 (diff | hist) . . (+585) . . Computational Logic (lecture notes assignmet description)
- 21:17, 20 September 2010 (diff | hist) . . (+517) . . Computational Logic (Evaliation)
- 20:56, 20 September 2010 (diff | hist) . . (+155) . . Computational Logic (Syllabus: Context details)
- 20:42, 20 September 2010 (diff | hist) . . (+192) . . Computational Logic (Syllabus: LP details)
- 20:36, 20 September 2010 (diff | hist) . . (+146) . . Computational Logic (Syllabus: DL details)
- 20:33, 20 September 2010 (diff | hist) . . (+209) . . Computational Logic (Syllabus: Modal logics detailed)
- 20:29, 20 September 2010 (diff | hist) . . (+458) . . Computational Logic (Sylabus: PL and FL detailed)
- 20:00, 20 September 2010 (diff | hist) . . (-3) . . Computational Logic (fixed lecture scedule)
- 00:58, 18 September 2010 (diff | hist) . . (-2) . . Computational Logic (fixed 2nd labs schedule)
- 20:12, 17 September 2010 (diff | hist) . . (-16) . . Computational Logic (Fixing course name)
- 03:24, 17 September 2010 (diff | hist) . . (+35) . . Computational Logic (added section Literature)
- 03:20, 17 September 2010 (diff | hist) . . (+225) . . Computational Logic (Basic information)
- 03:13, 17 September 2010 (diff | hist) . . (+16) . . m Computational Logic (strucutre editions)
- 03:10, 17 September 2010 (diff | hist) . . (+152) . . Computational Logic (basic structure)
- 03:05, 17 September 2010 (diff | hist) . . (+957) . . N Computational Logic (New page, basic information)
- 02:49, 17 September 2010 (diff | hist) . . (+926) . . N Introduction to Computational Logic (Move did not work)
- 02:42, 17 September 2010 (diff | hist) . . (-30) . . Martin Homola/en (Courses updated)
- 02:40, 17 September 2010 (diff | hist) . . (0) . . m Introduction to Computational Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation)
- 02:40, 17 September 2010 (diff | hist) . . (+52) . . N Introduction to Computer Logic/en (moved Introduction to Computer Logic/en to Introduction to Computational Logic/en: Incorrect English translation) (current)
- 11:45, 26 January 2010 (diff | hist) . . (+12) . . Sandbox/en
- 11:41, 26 January 2010 (diff | hist) . . (+109) . . Sandbox/en
- 11:36, 26 January 2010 (diff | hist) . . (-133) . . Sandbox/en
- 11:33, 26 January 2010 (diff | hist) . . (+38) . . Sandbox/en
- 11:27, 26 January 2010 (diff | hist) . . (+53) . . Sandbox/en
- 11:23, 26 January 2010 (diff | hist) . . (+1,660) . . Sandbox/en
- 14:17, 11 December 2009 (diff | hist) . . (+100) . . Internal:SWEEP Meeting 2009-12-11 (current)
- 13:55, 11 December 2009 (diff | hist) . . (+590) . . Internal:SWEEP Meeting 2009-12-11
- 13:24, 11 December 2009 (diff | hist) . . (+292) . . Internal:SWEEP Meeting 2009-12-11
- 13:09, 11 December 2009 (diff | hist) . . (+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ý…')
- 12:46, 11 December 2009 (diff | hist) . . (+40) . . Internal:SWEEP (current)
- 14:29, 9 October 2009 (diff | hist) . . (+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…') (current)
- 13:47, 9 October 2009 (diff | hist) . . (+40) . . Internal:SWEEP
- 15:39, 2 October 2009 (diff | hist) . . (+60) . . Internal:SWEEP Meeting 2009-10-02 (current)
- 15:31, 2 October 2009 (diff | hist) . . (+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…')
- 14:44, 2 October 2009 (diff | hist) . . (+40) . . Internal:SWEEP
- 14:31, 29 September 2009 (diff | hist) . . (+1) . . m Internal:How to easily include blogging in my course (typo) (current)
- 14:30, 29 September 2009 (diff | hist) . . (+2) . . m Internal:How to easily include blogging in my course (formatting)
- 14:29, 29 September 2009 (diff | hist) . . (+908) . . Internal:How to easily include blogging in my course
- 14:02, 29 September 2009 (diff | hist) . . (+405) . . Internal:How to easily include blogging in my course (Evaluation)
- 13:53, 29 September 2009 (diff | hist) . . (+1,025) . . Internal:How to easily include blogging in my course (Instroctions for Students)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)