网站首页
▼
▶
科技新闻
通知公告
项目成果申报
讲座预告
成果转化公示
科研诚信
学术交流
需求发布
机构设置
▼
▶
部门简介
部门领导
办公室
计划项目科
科研基地管理科
成果管理科
产学研合作与军民融合办公室
科技成果转化办公室
西北大学科协
科研项目
▼
▶
纵向科研项目
横向科研项目
专用项目
科研基地
▼
▶
科技创新基地类别
科技创新基地清单
科技创新基地规章制度
科研成果
▼
▶
学术论文
知识产权
鉴定验收
科技成果规章制度
技术转移
▼
▶
成果转化简介
市场需求发布
成果推介
西北大学科技园
西北大学科技孵化器
成果转化制度
学术交流
▼
▶
诺奖论坛
杨钟健讲座
创新论坛
学术沙龙
规章制度
西大科协
▼
▶
科协概况
大学科普
科协项目
优秀成果
人才举荐
实践活动
规章制度
人才团队
▼
▶
科技人才
党建引领
▼
▶
支部介绍
支部活动
服务指南
▼
▶
办事流程
规章制度
表格下载
联系方式
网站首页
机构设置
部门简介
部门领导
办公室
计划项目科
科研基地管理科
成果管理科
产学研合作与军民融合办公室
科技成果转化办公室
西北大学科协
科研项目
纵向科研项目
横向科研项目
专用项目
科研基地
科技创新基地类别
科技创新基地清单
科技创新基地规章制度
科研成果
学术论文
知识产权
鉴定验收
科技成果规章制度
技术转移
成果转化简介
市场需求发布
成果推介
西北大学科技园
西北大学科技孵化器
成果转化制度
学术交流
诺奖论坛
杨钟健讲座
创新论坛
学术沙龙
规章制度
西大科协
科协概况
大学科普
科协项目
优秀成果
人才举荐
实践活动
规章制度
人才团队
科技人才
党建引领
支部介绍
支部活动
服务指南
办事流程
规章制度
表格下载
联系方式
当前位置:
网站首页
>
讲座预告
> 正文
西北大学创新论坛第二千三百三十四讲：智能数学推理：从问题探索到形式化验证
浏览量：
时间：2026-11-10
