您所在的位置： 首页» 培训安排» 8月17日

15:30-17:00

编辑： 来源： 2021-07-08

1、逻辑学概述

2、基于逻辑的自动推理技术

3、自动定理发现

相关附件

TOP