Hai-Ping Ko (ko-hp)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ko, Hai-Ping. 1988. “Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.” Artificial Intelligence 37(1–3): 95–122.