01206nam a2200385 4500 DLU060052968 ##20060518 ##940208s1994 si a b 001 0 eng 94005809 9810215843 (DLC) 94005809 DLC DLC DLC QA481 .C48 1994 516 CH-S Chou, Shang-Ching, 1946- Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. Singapore ; New Jersey : World Scientific, c1994. xvii, 461 p. : ill. ; 23 cm. Series on applied mathematics ; v. 6 Includes bibliographical references (p. 445-454) and index. Automatic theorem proving. Axioms Data processing. Chang, Ching-chung, 1936- Gao, Xiao-shan. 04/2006 Vol.VI 19.100 DLU True Đào Thị Thu Huyền G A SH Thư viện Trường Đại học Đà Lạt