系统升级维护中心，您也可以扫描下方二维码，获取最新书号查询入口！
扫一扫：立即查询书号
中学数学中解析法、向量法和质点法的自动化推理 - 的书号查询结果
- 书名：中学数学中解析法、向量法和质点法的自动化推理
- cip：2019272662
- isbn：9787221157232
- 作者：
- 出版社：贵州人民出版社
- 出版地：贵阳
- 出版时间：2019.12
- 出版价格：39
中学教辅。可持续发展的几何自动推理平台（SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则，以发展多种多样基于规则的机器自动推理或人机交互推理方法。为进一步提高SGARP的推理能力和扩展其适用范围，提出一种在SGARP中实现符号计算功能的快捷方法，并成功添加了质点法、向量法和解析法推理模块。
[来源:书号查询官网]
免责声明： 本网转载稿件均不代表书号查询官网（www.shuhaochaxun.com）的观点，不保证内容的准确性、可靠性或完整性。如涉及版权、稿酬等问题，请速来电或来函联系。
