logic programming
柯林斯詞典
1. N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 邏輯程序設(shè)計
返回 logic programming
1. N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 邏輯程序設(shè)計