第一次用计算机证明数学定理发生在1972年,主要是证明()。

1972年，联合国在哪里召开第一次人类与环境会议？（） 有些问题虽然无法用数学语言描述并证明，但可以用计算机进行计算解决。 有些问题虽然无法用数学语言描述并证明，但可以用计算机进行计算解决（） 锅炉第一次点火的目的主要是（）。 锅炉第一次点火的目的主要是（） 第一次数学危机指的是 ( ) 1972年，联合国在（）召开第一次人类环境会议，通过了（） 春风雨: 1972年，联合国在( )召开第一次人类与环境会议？ 1972年，联合国在（）召开第一次人类环境会议，通过了（） 利用计算机来模拟人类的某些思维活动，如医疗诊断、定理证明等，这些应用属于（）。 ______是配置在计算机硬件上的第一层软件，是对硬件系统的第一次扩充。 电子商务主要是利用计算机__进行的一种商贸活动（） 医疗诊断、定理证明等都属于计算机的（）应用 “四色猜想”，最终在哪一年被人们用计算机得到证明？（） 在哪一年,“四色猜想”,最终被人们用计算机得到证明（） 1972年6月5日，联合国在瑞典（）召开了第一次人类环境会议。 1972年联合国在瑞典斯德哥尔摩召开的第一次人类环境大会《人类环境宣言》 第一代计算机语言主要是（）,第二代计算机语言主要是（）第四代计算机语言是（）,计算机能直接执行的语言是（）   第一次鸦片战争发生在（）年。 1960年，计算机图形学这个单词第一次被波音公司工程师WilliaMFetter（威廉·费特）使用，从而使Fetter成为（）