Lee, Richard Char-Tung, 1939-....
Lee, R.C.T.
Lee, Richard Char-Tung
R. C. T. Lee Computer scientist
آر. لي
VIAF ID: 61621333 ( Personal )
Permalink: http://viaf.org/viaf/61621333
Preferred Forms
-
- 200 _ | ‡a Lee ‡b Richard Char-Tung ‡f 1939-....
-
- 100 1 _ ‡a Lee, R. C. T.
-
-
- 100 1 _ ‡a Lee, Richard Char-Tung
-
-
- 100 1 _ ‡a Lee, Richard Char-Tung ‡d 1939-
- 100 1 _ ‡a Lee, Richard Char-Tung, ‡d 1939-
-
-
- 100 1 _ ‡a Lee, Richard Char-Tung, ‡d 1939-
-
-
- 100 1 _ ‡a Lee, Richard Char-Tung, ‡d 1939-....
- 100 0 _ ‡a R. C. T. Lee ‡c Computer scientist
- 100 0 _ ‡a آر. لي
4xx's: Alternate Name Forms (28)
Works
Title | Sources |
---|---|
Application of automatic clustering to emitter identification | |
Communications engineering : essentials for computer scientists and electrical engineers | |
Communications engineering / R. C. T. Lee, Mao-Ching Chiu, Jung Shan Lin. - Singapore, cop. 2007. | |
A completeness theorem and a computer program for finding theorems derivable from given axioms | |
Introduction to the design and analysis of algoritms : a strategic approach | |
ISA '91 algorithms : 2nd international symposium on algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings | |
ISA'91 algorithms / W. L. Hsu, R. C. T. Lee (eds.). - Berlin, 1991. | |
Konpyuta ni yoru teiri no shomei. | |
Matematičeskaja logika i avtomatičeskoe dokazatel'stvo teorem / Č. Čen', R. Li. - Moskva, 1983. | |
n86031023 | |
Symbolic logic and mechanical theorem proving | |
Математическая логика и автоматическое доказательство теорем | |
コンピュータによる定理の証明 |