. (2023). 全国科技工作者日网络科普报告 —— 自动推理与人工智能.
            <i>中国数学会通讯</i>. <i>4</i> (2).
            14-18.
         doi: