On simultaneous rigid e-unification:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Veanes, Margus (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Stockholm Univ. 1997
Schriftenreihe:Uppsala theses in computing science 29
Schlagworte:
Beschreibung:122 S. graph. Darst.
ISBN:9150612174

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!