QQ客服 官方微博 反馈留言

	Development of a Constrained Automated Geometry Reasoning System
	Chen, Mao; He, Tengbaao; Peng, Xicheng; Liu, Sanya; Ge, Qiang*
	2016
会议名称	International Conference on Materials, Information, Mechanical, Electronic and Computer Engineering (MIMECE)
会议日期	DEC 28-30, 2016
会议地点	Sanya, PEOPLES R CHINA
页码	126-131
会议录	MATERIALS, INFORMATION, MECHANICAL, ELECTRONIC AND COMPUTER ENGINEERING (MIMECE 2016)
URL标识	查看原文
ISSN号	2475-885X
WOS记录号	WOS:000404102700021
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/5169052
专题	华中师范大学
作者单位	1.[Chen, Mao 2.Peng, Xicheng 3.Liu, Sanya 4.He, Tengbaao] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
推荐引用方式 GB/T 7714	Chen, Mao,He, Tengbaao,Peng, Xicheng,et al. Development of a Constrained Automated Geometry Reasoning System[C]. 见:International Conference on Materials, Information, Mechanical, Electronic and Computer Engineering (MIMECE). Sanya, PEOPLES R CHINA. DEC 28-30, 2016.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。