Richard Char Tung Lee
Original record- Institution
- University of California, Berkeley
- Year
- 1967
- Country
- United States
- MGP identifier
- 100236
Dissertation: A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms
Mathematics Subject Classification: 68—Computer science
Advisors 2
- James Robert SlagleMassachusetts Institute of Technology · 1961
- Eugene WongPrinceton University · 1959
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Chin-Chen Chang | National Chiao Tung University | 1982 | 0 |
| Maw-Shang Chang | National Tsing Hua University | 1990 | 2 |
| Ruei-Chuan Chang | National Chiao Tung University | 1984 | 0 |
| Chien-Hung Huang | National Tsing Hua University | 1999 | 1 |
| Hung-Jr Shiu | National Taiwan University | 2018 | 0 |
| Chuan Yi Tang | National Chiao Tung University | 1985 | 0 |
| Shian-Shyong Tseng | National Chiao Tung University | 1984 | 0 |