Regular substitution sets: a means of controlling E-unification
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Burghardt, Jochen (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Sankt Augustin GMD 1995
Schriftenreihe:Arbeitspapiere der GMD 926
Beschreibung:62 S. graph. Darst. : 30 cm

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!