基本解釋[計(jì)] 自認(rèn)識(shí)同根派生 autoepistemic相關(guān)詞英漢例句Keywords autoepistemic logic;logic program;nonmonotonic reasoning;security protocols;protocols verification; 自認(rèn)知邏輯;邏輯程序;非單調(diào)推理;安全協(xié)議;協(xié)議騐証;autoepistemic logic [計(jì)] 自認(rèn)識(shí)邏輯, AE邏輯autoepistemic theory 自認(rèn)識(shí)理論autoepistemic更多例句