Choon Kyu Kim

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2004

Exploiting parallelism: highly competitive semantic tree theorem prover.

[BibT_eX]

[DOI]

Choon Kyu Kim

Int. J. Comput. Math., 2004

2003

Competitive Semantic Tree Theorem Prover with Resolutions.

[BibT_eX]

[DOI]

Choon Kyu Kim

Monty Newborn

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

Choon Kyu Kim

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...