![](/img/cover-not-exists.png)
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle
Hai-Ping KoVolume:
37
Year:
1988
Language:
english
Pages:
28
DOI:
10.1016/0004-3702(88)90051-3
File:
PDF, 1.01 MB
english, 1988