Choon Kyu Kim

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Choon Kyu Kim
Exploiting parallelism: highly competitive semantic tree theorem prover. Int. J. Comput. Math. 81 (9) (2004)
Choon Kyu Kim, Monty Newborn
Competitive Semantic Tree Theorem Prover with Resolutions. PVM/MPI (2003)