| 字词 | 归结定理证明 |
| 释义 | 【计】 resolution theorem proving |
汉译英翻译词典收录405719条汉英翻译词条，基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等，是英语学习的有利工具。
相关内容11：
热门资讯...
热文观察...
字词 形式数据库查询 释义 【计】 formal data-base query 汉译英翻译词典收录405719条汉英翻......
字词 形式标志 释义 【计】 formal denotation; formal notation 汉译英翻译词典收录405719条......
字词 归罪 释义 imputation; impute; incriminate; inculpation; put the blame to\n【法】 crim......
单词 remete 释义 remete, v. rare—1.[re-]trans. To mete out in return.1647Trapp Comm., Mat......
单词 annates 释义 annates|nets, -ts|Also 6 annatys, 6–8 annats.[a. Fr. annate (15th c.), ......
单词 anneal 释义 ▪ I. anneal, v.|nil|Forms: 1 onlan (anlan), 2 onealen, anhelen, 4–5 ane......