SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY

	SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
	WU, WJ
刊名	ACTA MATHEMATICA SCIENTIA
	1983
卷号	3 期号:4 页码:357-360
ISSN号	0252-9602
语种	英语
出版者	BALTZER SCI PUBL BV
WOS记录号	WOS:A1983SA32500001
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/27784]
专题	中国科学院数学与系统科学研究院
作者单位	CHINESE ACAD SCI,INST SYST SCI,BEIJING,PEOPLES R CHINA
推荐引用方式 GB/T 7714	WU, WJ. SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY[J]. ACTA MATHEMATICA SCIENTIA,1983,3(4):357-360.
APA	WU, WJ.(1983).SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY.ACTA MATHEMATICA SCIENTIA,3(4),357-360.
MLA	WU, WJ."SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY".ACTA MATHEMATICA SCIENTIA 3.4(1983):357-360.