Resolution with feature unification:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bläsius, Karl Hans 1952- (VerfasserIn), Hedtstück, Ulrich 1951- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Stuttgart IBM Deutschland, WT LILOG 1988
Schriftenreihe:IBM Deutschland GmbH <Stuttgart> / Projekt LILOG: LILOG-Report 51
Beschreibung:Aus: Lecture notes in computer science ; Bd. 329. 1988
Beschreibung:[12] S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!