Zugehörige Institution(en) am KIT | Institut für Telematik (TM) Rechenzentrum (RZ) Universität Karlsruhe (TH) – Zentrale Einrichtungen (Zentrale Einrichtungen) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 1997 |
Sprache | Englisch |
Identifikator | KITopen-ID: 90697 |
Erscheinungsvermerk | J. of symbol. comput. 24 (1997) S. 317-326. |