Logo Logo
Help
Contact
Switch language to German
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
German
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: Faculty of Mathematics, Computer Science and Statistics
[img]
Preview
PDF
Kuebler_Martin.pdf

587kB