归结反演系统
英语翻译
resolution refutation system
拓展翻译
归结反演
resolution refutation
归结反演策略
resolution refutation strategy
广义归结
generalized resolution
广义锁归结
generalized lock resolution
广义线性归结
generalized linear resolution
广义语义归结
generalized semantic resolution
归结
end; sum up
归结定理
resolution theorem
归结定理证明
resolution theorem proving
高速资料采录系统
high-speed data acquiaition system
高轴系统
deep shaft system
戈达德实时系统
Goddard real-rime system
格式化系统服务程序
formatted system services
格式检查子系统
layout check subsystem
格式文件系统
formatted file system
格系统
case system
隔离单词识别系统
isolated-word recognition system
隔离系统
isolated system
个别绘图系统一件一页式
individual drawing system
个人电脑磁盘操作系统
pc dos
