Rewrite systems for integer arithmetic:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Walters, Humphrey R. (VerfasserIn), Zantema, Hans (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam 1995
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,76
Beschreibung:13 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!