词典
例句
zh-CN
en
hide
简体中文
归结
归结反演
归结反演策略
归结反演系统
归结定理
归结定理证明
归罪
归罪于
归罪可能
归罪的
归航引导
参考
谷歌
谷歌图片
百度
百度图片
百度百科
维基百科
维基词典
EN↔CN 海词
DE↔CN LEO
DE↔CN Langenscheidt
DE↔CN PONS
归结定理证明
➞
归结定理证明
[计] resolution theorem proving
归结定理证明
guī jié dìng lǐ zhèng míng
ㄍㄨㄟ ㄐㄧㄝˊ ㄉㄧㄥˋ ㄌㄧˇ ㄓㄥˋ ㄇㄧㄥˊ
哈罗摩托-百万摩友的摩托车之家！
🎥 Insta360 One R 多镜头运动相机，德国包邮
zh-CN
简体中文
de
Deutsch
en
English
归结定理证明