@@ -44,7 +44,7 @@ In WS24/25 we will not have free selection, but we will schedule coordinated gro
...
@@ -44,7 +44,7 @@ In WS24/25 we will not have free selection, but we will schedule coordinated gro
talks based on three handbooks (listed from easy to harder):
talks based on three handbooks (listed from easy to harder):
-[Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the FAU network
-[Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the FAU network
-[Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf)
-[Harrison: Handbook of practical Logic](https://kwarc.info/teaching/sWuV/Harrison_handbook-of-practical-logic.pdf)
-[Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
-[Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
Students can choose consecutive sections/chapters of about 15-20 pages and report on the
Students can choose consecutive sections/chapters of about 15-20 pages and report on the
