Options
1996
Doctoral Thesis
Titel
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
ThesisNote
Zugl.: Berlin, TU, Diss., 1995