Choon Kyu Kim

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

2 Choon Kyu Kim: Exploiting parallelism: highly competitive semantic tree theorem prover. Int. J. Comput. Math. 81(9): 1051-1067 (2004)

2003

1 Choon Kyu Kim, Monty Newborn: Competitive Semantic Tree Theorem Prover with Resolutions. PVM/MPI 2003: 227-231

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

Coauthor Index

1 Monty Newborn (Monroe M. Newborn) [1]