diff --git a/courses/complog.md b/courses/complog.md index 3a7b139a2e247abf81e543f5787163589ca0b88c..ddbcbeebfb8289e2621c0bb9db0cb9924517af23 100644 --- a/courses/complog.md +++ b/courses/complog.md @@ -18,3 +18,5 @@ semesters: --- Theory and machine-oriented inference for propositional, first-order, higher-order, modal, and description logics. + +The course resources (course notes, literature, assignments) can be found [here](http://kwarc.info/teaching/CompLog).