Automatic geometry theorem-proving and automatic geometry problem-solving

CSpace

	Automatic geometry theorem-proving and automatic geometry problem-solving
	Wu, WT
	1999
发表期刊	AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS
ISSN	0302-9743
卷号	1669 页码:1-13
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000088970600001
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/14187
专题	中国科学院数学与系统科学研究院
通讯作者	Wu, WT
作者单位	Acad Sinica, Inst Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Wu, WT. Automatic geometry theorem-proving and automatic geometry problem-solving[J]. AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS,1999,1669:1-13.
APA	Wu, WT.(1999).Automatic geometry theorem-proving and automatic geometry problem-solving.AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS,1669,1-13.
MLA	Wu, WT."Automatic geometry theorem-proving and automatic geometry problem-solving".AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS 1669(1999):1-13.