你
请帮我解释一下「自动演绎」这个词的含义。
助手
「自动演绎」释义报告
读音
- 拼音zì dòng yǎn yì
- 字母zi dong yan yi
- 首字母zdyy
- 注音ㄗˋ ㄉㄨㄥˋ ㄧㄢˇ ㄧˋ
补充释义
定义 自动演绎，是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和机械定理证明。
继续提问
点击拆字，查看单字组词：
相关词语
- 产量系数 是什么意思
- 丹水池 是什么意思
- 创意制作 是什么意思
- 刘晓红 是什么意思
- 卢光照 是什么意思
- 叶茵 是什么意思
- 参加承兑人 是什么意思
- 和静县 是什么意思
- 呼肠孤病毒 是什么意思
- 坐吃山崩 是什么意思
- 咳血方 是什么意思
- 巴黎档案 是什么意思
- 廖梓含 是什么意思
- 庄毅 是什么意思
- 年轻力壮 是什么意思
- 张惠芬 是什么意思
- 懂得爱自己 是什么意思
- 慧三 是什么意思
- 时代曲 是什么意思
- 暴雨洪涝 是什么意思
- 朱小杰 是什么意思
- 杀螟硫磷 是什么意思
- 次要 是什么意思
- 浓荫蔽日 是什么意思
- 潇湘五元龟 是什么意思
- 狂父 是什么意思
- 王燎原 是什么意思
- 白带燕凤蝶 是什么意思
- 皮条孙镇 是什么意思
- 石太路 是什么意思
- 社会压力 是什么意思
- 祁玉梅 是什么意思
- 系马桩 是什么意思
- 群生世家 是什么意思
- 膺籙受图 是什么意思
- 角四脉绵蚜 是什么意思
- 软磁盘 是什么意思
- 那可丁片 是什么意思
- 龙蛇混杂 是什么意思
- 黑天 是什么意思
- 南昌县农业局 是什么意思
- 浅美裕子 是什么意思
- 盛延龄 是什么意思
- 苏州猪油糕 是什么意思
- 家常煎蛋饼 是什么意思
- 玉米火腿披萨 是什么意思
- 窣堵波 是什么意思
- 戰龍紋 是什么意思
- 林鸿坦 是什么意思
- 依兰花 是什么意思
助手
友情链接
抓书网
短词网
书号查询
星云网
http://www.yijuzcj.com/%E6%97%A5.html
白酒常识有哪些是什么意思？
小学文言文教案模板范文(通用二十篇)是什么意思？
高中英语是什么意思？
25笔画的字是什么意思？
郑和下西洋的时间及历史意义是什么意思？
现实物理 HTML5 模拟现实物理效果，鼠标点击会出现大小不等的小球，小小物理反应，颜色会随机是什么意思？
龙年拜年文案精选62句是什么意思？
东洲天气预报30天是什么意思？
高考作文是什么意思？
查看河北天气-珠海天气 查看河北天气 河北是什么意思？
脱皮有哪些是什么意思？
查看贵州天气-无锡一周天气预报 查看贵州天气 贵州是什么意思？
大坝钓鱼调漂是什么意思？
造是什么意思？
复利计算器是什么意思？