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

术语	higher-order_logic
释义	higher-order logic 高阶逻辑有的将二阶述词演算称为高阶述词演算，也有的将有时间概念的述词演算称为高阶述词演算。
随便看	system_queue_area system_quiesce system_r system_recorder_file system_reliability system_reset system_reset_clear_key system_residence system_residence_volume system_resident_file system_resource system_resource_operator_privilege_class system_resources_manager system_response_field system_restart system_scheduled_checkpoint system_scheduler_table system_service system_service_program systems_library_subscription_service system_slowdown system_software system_space system_specification system_study

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