logic programming

柯林斯词典

logic programming

• 1. N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 邏輯程序設計

返回 logic programming