Deductive database system based on unit resolution:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Yokota, Haruo (VerfasserIn), Sakai, Ko (VerfasserIn), Itoh, Hidenori (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Tokyo, Japan 1985
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 123
Schlagworte:
Beschreibung:14 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!