相似文献/References:
[1]吴店年,李云清. 应用本体和AllegroGraph实现几何定理证明[J].计算机技术与发展,2014,24(08):89.
WU Dian-nian,LI Yun-qing. Realization of Geometry Theorem Proving with Ontology and AllegroGraph[J].,2014,24(01):89.
[2]吴渊,史殿习,杨若松,等. 手机位置和朝向无关的活动识别技术研究[J].计算机技术与发展,2016,26(04):1.
WU Yuan,SHI Dian-xi,YANG Ruo-song,et al.Research on Activity Recognition Technique of Smart Phone Position and Orientation Independent[J].,2016,26(01):1.