Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008,
Vorherige Seite:
Übung (Interpreter)
Inferenz-Systeme
Unterabschnitte
Motivation
Definition
Inferenz-Systeme (Beispiel 1)
Inferenz-Systeme (Beispiel 2)
Inferenz-Systeme (Beispiel 3)
Inferenz von Werten
Umgebungen (Spezifikation)
Umgebungen (Implementierung)
Aussagenlogische Resolution
Resolution (Vollständigkeit)
Semantische Bereiche
Continuations
Johannes Waldmann 2013-01-31
