主要设计、实施、分析用于处理符号数学对象、逻辑表达式、计算机程序等具有语义的符号对象的算法和软件。
试用结束,开通会员即可查阅全文
对不起,您所在机构没有获得相应使用权限。若需获得更多服务,请与您所在机构的负责部门或本网站客服联系。