H. R. Wüthrich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1976

1 H. R. Wüthrich: Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. Komplexität von Entscheidungsproblemen 1976 1976: 138-162