计算机术语“resolution_method”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	resolution_method
释义	resolution method 消解法定理机械（电脑）证明所依据的基本方法，它实质上是一阶述词演算的一条推理规则，这是由J.A.Robinson在1965年提出的。
随便看	analog_comparator analog_compiler_system analog_computer analog_control analog_data analog_data_channel analog-digital_adapter analog-digital-analog_converter_system analog_divider analog_input_channel analog_input_channel_amplifier analog_input_expander analog_input_module analog_input_operation analog_integrated_circuit analog_multiplier analog_network analog_output analog_output_channel_amplifier analog_recording analog_representation analog_signal analog_signaling analog_simulation analog_switch

Linux计算机英汉词典包含19493条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。