14.  Formales Propädeutikum III

14.1.2 Rekursiv
14.1.3 Als Graphen
14.2 Pfade und Werte
14.2.1 Koreferenz
14.3 Unifikation
14.3.1 Motivation
14.3.2 Subsumtion
14.3.3 Unifikation

Lernziele