On the parallel computational complexity of unification:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Yasuura, Hiroto (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Tokyo, Japan 1983
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 27
Umfang:28 S. graph. Darst.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6123-27 Lageplan
Exemplar 1 Ausleihbar Am Standort