Simplification and decision of systems of linear inequalities over the integers:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Käufl, Thomas (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Karlsruhe Inst. für Logik, Komplexität u. Deduktionssysteme 1988
Schriftenreihe:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1988,9
Beschreibung:10 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!