Folien (Teil 1) (z.Z. nur als Web-Präsentation)
Folien (Teil 2, Lineare Logik)
Folien (Teil 3, logische Programmierung, Parser)
Skript (Teil 1)
Literatur
B.Farwer 12/4/00