基本属性
- 拼音字母zi dong yan yi
- 拼音首字母zdyy
- 注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
扩展释义
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
自动演绎是什么意思？专家解读
918学习网·汉语词语词典
2026-07-16 11:10:32
「自动演绎」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：zì dòng yǎn yì，注音：ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ。