机械式定理证明
首页
字典
词典
组词
笔顺
造句
成语
近义词
反义词
中译日
反馈
查询
【机械式定理证明】基础信息( 英文,繁体)
词语
机
械
式
定
理
证
明
英文
mechanical theorem proving
繁体
機械式定理證明
【机械式定理证明】是什么意思
指利用计算机证明定理。
来源:-- 资讯与通信术语辞典
< 机械接合
机械时序 >
【机械式定理证明】相关的组词
【机】组词
藏机
禅机
柴油机
插秧机
磁带机
抽油烟机
兵机莫测
【械】组词
缴械
刀械
机械工业
机械效率
刀杖器械
机械化耕作
小大姐儿裁械子
【式】组词
车式
程式
程式设计
编译程式
程式语言
单式预算
程式设计员
【定】组词
测定
禅定
串定
大定
窜定
搭伏定
大卫营协定
【理】组词
常理
达理
病理
不明道理
不伤天理
变态心理
查理曼大帝
【证】组词
查证
辩证
表证
扶同硬证
出生证明
不在场证明
地区通行证
【明】组词
标明
不明
呈明
崇明县
不明道理
不透明体
不在场证明
热门词语
裂缝尖端开口角度是什么意思
绿玉筋鱼是什么意思
笆开头能组哪些词
借口的意思
巷议街谭的意思
蔚组词
铁面无私近义词
滥用反义词
仗势凌人造句
瑒的多音字组词
豢的笔顺
力字旁的字