SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY

CSpace

	SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
	WU, WJ
	1983
发表期刊	ACTA MATHEMATICA SCIENTIA
ISSN	0252-9602
卷号	3 期号:4 页码:357-360
语种	英语
WOS研究方向	Mathematics
WOS类目	Mathematics
WOS记录号	WOS:A1983SA32500001
出版者	BALTZER SCI PUBL BV
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/27785
专题	中国科学院数学与系统科学研究院
作者单位	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.