自动演绎
zì dòng yǎn yì · ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
- 字母
- zi dong yan yi
- 首字母
- zdyy
- 注音符号
- ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
- 注音首符
- ㄗㄉㄧㄧ
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
热门组词
链接
抓书网 短词网 书号查询 星云网 西安天气预报30天是什么意思？ 华宁特产是什么意思？ 江南幸福里是什么意思？ 无极县天气是什么意思？ 承认错误的检讨书给领导是什么意思？ 郁金香是什么意思？ 杭州天气预报30天是什么意思？ 葡萄酒酒体是什么意思？ 传统节日是什么意思？ 昆明天气预报30天是什么意思？ 会诊方案是什么意思？ 厦门流浪星球进出口有限公司是什么意思？ 平面向量角度计算器是什么意思？ 杨彦智是什么意思？专家解读 权威解读「杨彦智」的含义、读音与用法，一文读懂词语内涵。 yáng yàn zhì 2026-06-30 15:42:14 上海天气预报30天是什么意思？ 曹立军 cáo lì jūn · 是什么意思