Lee, Richard Char-Tung, 1939-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | Chang, C.L. Symbolic logic and mechanical theorem proving, 1987, c1973: CIP t.p. (Richard Char-Tung Lee; Heuristic Lab., Div. of Computer Res. & Tech., Nat. Inst. of Health, Bethesda, Md.) LC data base, 2/26/87 (hdg.: Lee, Richard Char-Tung, 1939- ) |
Dates of Birth and Death | 1939 |
から見よ参照 | Ли, Р. Li, R. |
コード類 | 典拠ID=AU20048271 NCID=DA02305315 |
1 | コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳 東京 : 日本コンピュータ協会 , 1983.9 |