词语含义查询 · 在线释义
查询结果
zì dòng yǎn yì · ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
数据更新：2026-07-12 17:45:37
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。