Nächste Seite:
Motivation
Aufwärts:
Symbolisches Rechnen Vorlesung Wintersemester
Vorherige Seite:
Aufgaben
Konfluenz und Vervollständigung
Unterabschnitte
Motivation
Motivation (II)
Konfluenz
Lokale Konfluenz
Unifikation--Begriffe
Unifikation--Definition
Unifikation--Definition (vollst.)
Unifikation--Algorithmus
Kritische Paare
Orthogonale Systeme
Konstruktor-Systeme
Vervollständigung (basic)
Vervollständigung (improved)
Inferenzsystem für Vervollständigung
Vervollständigung heute
Werbung: ISR 2015
Johannes Waldmann 2015-12-11
