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 [1] | Hilfe |
Suche: Citkey="Nutt-Rety-Smolka/89" |
Journal Symbolic Computation 7 (3-4), 1989, pp. 295-317
Publisher: | Academic Press | |
Address: | London-San Diego-New York-Boston-Sydney-Tokyo-Toronto | |