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