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