自动演绎
zì dòng yǎn yì
ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
📖 词语释义
- 拼音字母zi dong yan yi
- 首字母zdyy
- 注音符号ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
- 更新2026-07-10 22:08:14
更多解释
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
✂️ 拆字组词
🔗 相关词语
🐾 热门组词
友情链接
抓书网
短词网
书号查询
星云网
2026年属什么生肖是什么意思？
践踏战靴 jiàn tà zhàn xuē是什么意思？
píng,pēng苹是什么意思？
百家号是什么意思？
战旗歌舞团是什么意思？
拉萨天气预报30天是什么意思？
HTML转为Js字符串 将HTML代码转化为JavaScript字符串的工具。是什么意思？
教师节祝福语是什么意思？
大连天气预报30天是什么意思？
另一类是什么意思？
加工工件检讨书（推荐十七篇）是什么意思？
香辣藕片是什么意思？
公历农历转换 在线阴历阳历转换器是什么意思？
盘古山景区是什么意思？
大锅盖 是什么意思？ dà guō gài
阜阳特产是什么意思？