Choon Kyu Kim

According to our database1, Choon Kyu Kim authored at least 2 papers between 2003 and 2004.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Exploiting parallelism: highly competitive semantic tree theorem prover.
Int. J. Comput. Math., 2004

2003
Competitive Semantic Tree Theorem Prover with Resolutions.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003


  Loading...