Normal view
MARC view
Chou, Shang-Ching, 1942- (Personal Name)
His Mechanical geometry theorem proving, c1987: CIP t.p. (Shang-Ching Chou; Inst. for Computing Sci., Univ. of Texas at Austin) data sheet (b. 12/18/42)