Lecture: Typsysteme aufnehmen #296
Description
Wir sollten das Thema Typen und Typsysteme vertiefen (eine eigene Sitzung). Dazu könnte der Baustein "PK1 und Resolution" eine gute Basis sein (Artificial-Intelligence-HSBI-TDU/KI-Vorlesung#383).
{{ message }}