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

术语	higher-order_logic
释义	higher-order logic 高阶逻辑有的将二阶述词演算称为高阶述词演算，也有的将有时间概念的述词演算称为高阶述词演算。
随便看	release_time relegate_important_stuff_to_the_compiler relevance reliability reload reloadable_card reloadable_control_storage relocatability relocatable relocatable_address relocatable_addressing_modes_code relocatable_assembler relocatable_code relocatable_emulator relocatable_expression relocatable_library relocatable_library_module relocatable_program relocatable_routine relocatable_subroutine relocatable_term relocate relocate_hardware relocating_loader relocating_object_loader

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