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

术语	automatic_theorem_proving
释义	automatic theorem proving 自动定理证明使电脑具有证明定理的能力，在证明定理时常采用述词演算方式。
随便看	magnetic_printer magnetic_random_access_memory magnetic_read_head magnetic_read/write_head magnetic_recording magnetic_recording_head magnetic_recording_medium magnetic_reproduce_head magnetic_sheet magnetic_shift_register magnetic_slot_reader magnetic_storage magnetic_strip magnetic_stripe magnetic_stripe_card magnetic_striped_ledger magnetic_stripe_reader magnetic_strip_file magnetic_surface_memory magnetic_surface_recording magnetic_tape magnetic_tape_adapter magnetic_tape_cartridge magnetic_tape_cassette magnetic_tape_cleaner

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