基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]代數(shù)邏輯[電子、通信與自動(dòng)控制技術(shù)]代數(shù)邏輯英漢例句雙語(yǔ)例句This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.該文提出了一種基於代數(shù)重寫(xiě)邏輯的UML模型一致性檢查的方法。According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.根據(jù)邏輯代數(shù)方程理論，提出了格蘊(yùn)涵代數(shù)方程的概唸。But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing還有一些別的應(yīng)該得到更多肯定的支持方法；比如說(shuō)這個(gè)我和珍妮彿稱之爲(wèi)按比例分享的簡(jiǎn)單代數(shù)方法algebraic logic更多例句詞組短語(yǔ)短語(yǔ)algebraic logic functional language 代數(shù)邏輯函數(shù)語(yǔ)言calculator with algebraic logic 代數(shù)邏輯計(jì)算器;繙譯algebraic logic of pocket calculator 袖珍計(jì)算機(jī)的代數(shù)邏輯algebraic logic更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)代數(shù)邏輯電子、通信與自動(dòng)控制技術(shù)代數(shù)邏輯