Normal view
MARC view
Lee, Richard Char-Tung, 1939- (Personal Name)
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- )