请输入您要查询的词汇:
词汇
resolution method
释义
resolution method
消解法
定理机械(电脑)证明所依据的基本方法,它实质上是一阶述词演算的一条推理规则,这是由J.A.Robinson在1965年提出的。
随便看
nop
nopal
nopalry
no-par
No Parity
no-par stock
no-par value stock
nope
no percentage
no place
NOPWC
NOR
nor
Nor.
NORAD
noradrenalin
NOR circuit
Nordic
Nordic Council
Nordic Mobile Telephone
nor'easter
NOR element
norepinephrine
no returning over
Norfolk
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2026/11/8 7:47:02