Lee, Richard Char-Tung, 1939-....
Lee, Richard Char-Tung
Lee, R. C. T.
VIAF ID: 61621333 (Personal)
Permalink: http://viaf.org/viaf/61621333
Preferred Forms
-
100 1 _ ‡a Lee, Richard Char-Tung
-
100 1 _ ‡a Lee, R. C. T.
-
100 1 _ ‡a Lee, Richard Char-Tung, ‡d 1939-
-
200 _ | ‡a Lee ‡b Richard Char-Tung ‡f 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 1 _ ‡a Lee, Richard Char-Tung
-
100 1 _ ‡a Lee, Richard Char-Tung, ‡d 1939-
-
100 1 _ ‡a Lee, Richard Char-Tung ‡d (1939- ).
4xx's: Alternate Name Forms (14)
Selected Titles
- Symbolic logic and mechanical theorem proving
(12)
- Matematičeskaja logika i avtomatičeskoe dokazatel'stvo teorem
(3)
- ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings
(2)
- Communications engineering, c2007:
(2)
- Communications engineering : essentials for computer scientists and electrical engineers
(2)
- コンピュータによる定理の証明
(1)
- Symbolic logic and mechanical theorem proving, 1987, c1973:
(1)
- Symbolic logic and mechanical theorem proving
(1)
- Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem
(1)
- Konpyūta ni yoru teiri no shōmei
(1)
