MCL/Courses/SS2016/en: Difference between revisions
From International Center for Computational Logic
Sibylle Moehle (talk | contribs) (Die Seite wurde neu angelegt: „{{#leftsidenav: {{LeftsidenavHeading|Modules}} <div class="no-toc-head">__TOC__</div> | {{Main heading|Courses in Summer Term 2016}} == Module MCL-PI Princi…“) |
Sibylle Moehle (talk | contribs) No edit summary |
||
| Line 6: | Line 6: | ||
{{Main heading|Courses in Summer Term 2016}} | {{Main heading|Courses in Summer Term 2016}} | ||
== Module MCL-AL Advanced Logics (Basic) == | |||
== Module MCL-KR Knowledge Representation (Advanced) == | |||
== Module MCL-TCSL Theoretical Computer Science and Logic (Advanced) == | |||
== Module MCL-PI Principles of Inference (Advanced) == | == Module MCL-PI Principles of Inference (Advanced) == | ||
