如果结果不匹配，请 
更多“提出几何定理的自动证明方法的著名人工智能专家是()。”相关的问题
第4题
政策分析中的定量方法及技术是德国著名学者马克斯·韦伯（Max Weber)最先提出的。（)
政策分析中的定量方法及技术是德国著名学者马克斯·韦伯(Max Weber)最先提出的。()
第7题
甲：我的百科全书指出，在1665年数学家费马去世时并未留下一个他已声明证明出来的定理的证明。这个所谓的定理很可能本身就无法被证明，因为书上说目前为止还没有一个人能够证明这个定理。因此费马在声明证明出了这个定理时或者在说谎，或者犯了什么错误。乙：你的百科全书太旧了，最近已经有人证明出了费马定理。因为这个定理是可以被证明的，所以，你认为费马或者在说谎，或者犯了错误的看法肯定是不对的。甲所说的“这个所谓的定理很可能本身就无法被证明”在甲的论述中起了以下哪项作用？
A.一个未被支持的假设。
B.用于支持主要结论的一个次要结论。
C.估计出的可能会遇到的一种反方的论点。
D.全文旨在反对的主要论点。
E.既不支持也不反对其结论的背景信息。
第8题
现代组合理论最早是由美国著名经济学家______于1952年系统提出的，他在1952年3月《金融杂志》发
表的题为《资产组合的选择》的论文中提出了确定最小方差资产组合集合的思想和方法，开了对投资进行整体管理的先河。
点击查看答案
第10题
试用静电场的环路定理证明，如图3.14所示电场线为一系列不均匀分布的平行直线的电场不静电场。
试用静电场的环路定理
证明，如图3.14所示电场线为一系列不均匀分布的平行直线的电场不静电场。
