你
请解释一下「自动演绎」这个词的含义。
助手
自动演绎
zì dòng yǎn yì · ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
zi dong yan yi
zdyy
ㄗ ㄉㄨㄥ ㄧㄢ ㄧ
2026-07-11 01:14:41
扩展释义
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
友情链接
抓书网
短词网
书号查询
星云网
球鞋情人节文案(汇总82句)是什么意思？
波字组词是什么意思？
在线姓名排序工具 在线姓名排序工具，姓氏拼音首字母排序，姓氏笔画数排序是什么意思？
暑假日记钓鱼四年级上九篇是什么意思？
查看山西天气-徐州天气预报 查看山西天气 山西是什么意思？
百家号是什么意思？
萧家千金是什么意思？
tǔ 土是什么意思？
演讲稿的形式和格式是什么意思？
子宫硬化是什么意思？
查看甘肃天气-东莞明天天气 查看甘肃天气 甘肃是什么意思？
19画是什么意思？
红酒和干红葡萄酒区别是什么意思？
在线图片配色提取-色卡生成器是什么意思？
核线是什么意思？
看杀卫玠是什么意思？