Publikation

On Solving Equations and Disequations

Wray Buntine, Hans-Jürgen Bürckert

In: Journal of the ACM (JACM) 41 4 Seiten 591-629 ACM 1994.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence