- the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
单词 | logic programming |
释义 | Collins Concise English Dictionary © HarperCollins Publishers:: logic programming n
|
随便看 |
英语词典包含188688条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。