视频
版权归原作者所有,如有侵权,请联系我们
视频简介: 2023年5月30日是第七个“全国科技工作者日”。今年全国科技工作者日的主题是“点亮精神火炬”。在这个专属于科技工作者的日子里,中国数学会联合中国工业与应用数学学会、中国运筹学会特别邀请中国科学院数学与系统科学研究院高小山研究员,为广大科技工作者献上了精彩的网络科普报告“自动推理与人工智能”。
来源: