(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).
- 14:12, 9. november 2010 (rozdiel | história) . . (-979) . . Computational Logic (Revert)
- 14:34, 2. november 2010 (rozdiel | história) . . (+6) . . Computational Logic (midterm in boldface)
- 22:18, 25. október 2010 (rozdiel | história) . . (-116) . . Topics for Diploma Theses/sk
- 22:23, 20. september 2010 (rozdiel | história) . . (-37) . . d Computational Logic
- 22:22, 20. september 2010 (rozdiel | história) . . (0) . . Computational Logic (Some interlinking and fixes)
- 22:21, 20. september 2010 (rozdiel | história) . . (+70) . . Computational Logic
- 22:19, 20. september 2010 (rozdiel | história) . . (+109) . . Computational Logic
- 22:17, 20. september 2010 (rozdiel | história) . . (+585) . . Computational Logic (lecture notes assignmet description)
- 21:17, 20. september 2010 (rozdiel | história) . . (+517) . . Computational Logic (Evaliation)
- 20:56, 20. september 2010 (rozdiel | história) . . (+155) . . Computational Logic (Syllabus: Context details)
- 20:42, 20. september 2010 (rozdiel | história) . . (+192) . . Computational Logic (Syllabus: LP details)
- 20:36, 20. september 2010 (rozdiel | história) . . (+146) . . Computational Logic (Syllabus: DL details)
- 20:33, 20. september 2010 (rozdiel | história) . . (+209) . . Computational Logic (Syllabus: Modal logics detailed)
- 20:29, 20. september 2010 (rozdiel | história) . . (+458) . . Computational Logic (Sylabus: PL and FL detailed)
- 20:00, 20. september 2010 (rozdiel | história) . . (-3) . . Computational Logic (fixed lecture scedule)
- 00:58, 18. september 2010 (rozdiel | história) . . (-2) . . Computational Logic (fixed 2nd labs schedule)
- 20:12, 17. september 2010 (rozdiel | história) . . (-16) . . Computational Logic (Fixing course name)
- 03:24, 17. september 2010 (rozdiel | história) . . (+35) . . Computational Logic (added section Literature)
- 03:20, 17. september 2010 (rozdiel | história) . . (+225) . . Computational Logic (Basic information)
- 03:13, 17. september 2010 (rozdiel | história) . . (+16) . . d Computational Logic (strucutre editions)
(najnovšie | najstaršie) Zobraziť (20 novších | 20 starších) (20 | 50 | 100 | 250 | 500).