Choon Kyu Kim

2004
2	EE	Choon Kyu Kim: Exploiting parallelism: highly competitive semantic tree theorem prover. Int. J. Comput. Math. 81(9): 1051-1067 (2004)
2003
1	EE	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]