Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen | Hilfe |
Suche: Citkey="Baader-Schulz/96" |
Journal Symbolic Computation 21 (2), 1996, pp. 211-243
Publisher: | Academic Press | |
Address: | London-San Diego-New York-Boston-Sydney-Tokyo-Toronto | |