2026W

• Logic and Computability / 185.A45 / VU

2027S

• Logic and Reasoning in Computer Science / 192.033 / VU

• Towards a generalized reason model / Thölke, H. (2024). Towards a generalized reason model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120749
  Download: PDF (1.25 MB)