人工智能的早期应用中，自动定理证明中，我国著名数学家、中国科学院吴文俊院士把几何代数化，建立了一套机器证明方法，被称为“吴方法”。

lk2024-11-24 2

题目：人工智能的早期应用中，自动定理证明中，我国著名数学家、中国科学院吴文俊院士把几何代数化，建立了一套机器证明方法，被称为“吴方法”。

答案：评论后可见此内容

本站资源均来自互联网，侵权请联系站长删除

超星学习通

随机主题

体液就是血液和淋巴液下列关于华盛顿城市设计描述正确的是()。反刍动物一般用（）来评价能量体系。下列关于全麻药的叙述正确的是 ( )根据（）的不同，债务可以划分为公债与私债。决定药物量效关系的首要因素是 ( )我国的人工智能三步走战略，到2030年，总体达到世界领先水平，并成为世界主要人工智能创新中心。目前的人工智能研究主要处于哪个层次？（）当使用“多边形工具”时，按住下列哪个键就可以使某一边在拖拉鼠标绘制的过程中始终保持水平状态？下列有关滤镜的描述正确的是？赛场即兴演讲即被动式即兴演讲的典型。这轮战区改革有利于构建联合作战体系。下列不属于精神科护理中必须遵守的基本伦理原则是下列说法正确的是( )。薄煤层采煤机一般前滚筒割底煤，后滚筒割顶煤。中厚煤层采煤工作面采出率应不低于95%。以下关于会议纪要的说法正确的是行文应当确有必要，（）创意活动是创业的开端，是创业成功的前提条件。在政治生活中，政党的作用主要是_____ 。

最新回复(0)

公众号图片

🔥推荐

推荐使用我们的公众号搜索题目，题目更全，检索更方便。支持语音、图片、文字等多种搜索方式。