R. C. T. Lee
From Wikipedia, the free encyclopedia
R. C. T. Lee (Chinese: 李家同), also known as Richard C. T. Lee or Chia-Tung Lee, received his B. Sc. degree from the Department of Electrical Engineering of National Taiwan University and Ph. D. degree from the Department of Electrical Engineering and Computer Science from University of California, Berkeley. He is a professor of both the Computer Science and Information Engineering Department and Information Management Department of National Chi Nan University. Professor Lee is an IEEE fellow. He co-authored Symbolic Logic and Mechanical Theorem Proving, which has been translated into Japanese, Russian and Italian.
