On the parallel computational complexity of unification:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Yasuura, Hiroto (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Tokyo, Japan 1983
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 27
Beschreibung:28 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!