Application of the Knuth Bendix completion algorithm to finite groups:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bündgen, Reinhard (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Tübingen WSI 1989
Schriftenreihe:Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI 1989,3
Beschreibung:15 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!