UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Zwei Gedanken zur hoeherstufigen Unifikation Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 

Zwei Gedanken zur hoeherstufigen Unifikation : Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung

Autor: Kübler, Martin
Ort, Verlag, Jahr: , , 2006
Umfang: 94 S.

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Kübler, Martin
Titel:Zwei Gedanken zur hoeherstufigen Unifikation
Untertitel:Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung
Von:Martin Kübler
Jahr:2006
Umfang:94 S.
Anmerkungen:München, Univ., Diss., 2005
BV-Nummer:BV021528130