Richard C. T. Lee

Home * People * Richard C. T. Lee

[ R. C. T. Lee [1] Richard C. T. Lee (Chia-Tung Lee, Chyi-Tong Le),

a Taiwanese electrical engineer, computer scientiest and professor and former president of National Chi Nan University, Puli, Nantou, where he after the devastating 921 earthquake on 21 September 1999 led the three-day evacuation of the entire student body and the provisional relocation to the campus of National Taiwan University in Taipei [2]. R. C. T. Lee is a humanitarian and has been serving the underprivileged since he was in the college [3] [4].

Selected Publications

[6] [7]

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1970). A New Algorithm for Generating Prime Implicants. IEEE Transactions on Computers, Vol. 19, No. 4
James R. Slagle, Richard C. T. Lee (1971). Application of game tree searching techniques to sequential pattern recognition. Communications of the ACM, Vol. 14, No. 2
Chin-Liang Chang, Richard C. T. Lee, John K. Dixon (1973). The Specialization of Programs by Theorem Proving. SIAM Journal on Computing, Vol 2, No. 1
Chin-Liang Chang, Richard C. T. Lee (1973). Symbolic Logic and Mechanical Theorem Proving. Academic Press
Richard C. T. Lee, S. S. Tseng, R. C. Chang, Y. T. Tsai (2005). Introduction to the Design and Analysis of Algorithms, a Strategic Approach. McGraw-Hill