@Article{CMSN-4-14,
author = {},
title = {全国科技工作者日网络科普报告 —— 自动推理与人工智能},
journal = {中国数学会通讯},
year = {2023},
volume = {4},
number = {2},
pages = {14--18},
abstract = {<p style="text-align: justify;">2023年5月30日是第七个“全国科技工作者日”。今年全国科技工作者日的主题是“点亮精神火炬”。在这个专属于科技工作者的日子里，中国数学会联合中国工业与应用数学学会、中国运筹学会特别邀请中国科学院数学与系统科学研究院高小山研究员，为广大科技工作者献上了精彩的网络科普报告“自动推理与人工智能”。中国数学会副理事长周爱辉研究员主持了报告，一起出席的还有中国工业与应用数学学会副理事长王兆军教授、中国运筹学会科普工作委员会主任刘歆研究员。</p>},
issn = {},
doi = {https://doi.org/},
url = {http://global-sci.org/intro/article_detail/cmsn/21801.html}
}