自动定理证明

（计算机科学技术）
自动定理证明（automated theorem proving），计算机科学技术名词，把数学定理的手工证明转变成一系列能在计算机上自动运行的符号演算的步骤和机械化的过程。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》