Logo Logo
Hilfe
Kontakt
Switch language to English
Zwei Gedanken zur hoeherstufigen Unifikation. Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung
Zwei Gedanken zur hoeherstufigen Unifikation. Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung
Not available
Not available
Kuebler, Martin
2005
Deutsch
Universitätsbibliothek der Ludwig-Maximilians-Universität München
Kuebler, Martin (2005): Zwei Gedanken zur hoeherstufigen Unifikation: Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
[img]
Vorschau
PDF
Kuebler_Martin.pdf

587kB