H. R. Wüthrich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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