您要查找的是不是：
- higher order predicate logic 高階謂詞邏輯
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 給出了一種應用于決策支持系統，基于一階謂詞邏輯的模型表示方法，并分析了此種表示方法的實(shí)用性和推理機制.
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一種基于一階謂詞邏輯的模型表示方法
- Predicate logic of higher order 高階謂詞邏輯
- third order predicate logic 三階謂詞邏輯
- A task that is initiated and terminated by a higher order task. 一種由較高一級的任務(wù)來(lái)啟動(dòng)和終止的任務(wù)。
- first order predicate logic 一階謂詞邏輯
- Social position or rank, especially of high order. 社會(huì )等級社會(huì )地位或等級，特別是指較高社會(huì )地位
- higher order predicate calculus [計] 高階謂詞演算
- As a lightweight his skill is of the highest order. 作為輕量級拳擊手，他的技術(shù)是第一流的。
- Method of the data structure as the higher order function to apply the logic. 方法作為應用邏輯的高階函數。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于謂詞邏輯的一階語(yǔ)言表示該元元模型,使不同元模型成為該形式語(yǔ)言的不同解釋。
- Support for closures and higher order functions. 支持閉包和高階函數。
- Method is a higher order function. 方法是高階函數。
- Gensui Higher Order Stupid Team == G.H.O.S.T. 大黃什么種族職業(yè)？就一個(gè)40級的號？
- The job requires diplomatic skills of a high order. 這項工作要求高超的外交技巧。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用謂詞邏輯法舉例分析PLC梯形圖的編制過(guò)程,并分析其優(yōu)缺點(diǎn)。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它們對應一元謂詞邏輯，而布爾代數對應于命題邏輯，而 多元代數 對應于一階邏輯。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值謂詞邏輯中引入了一階語(yǔ)言的一類(lèi)特殊解釋?zhuān)擃?lèi)解釋中的解釋域取為非空有限集。
- Higher Order Critical Transitions in Ternary Mixtures. 三元混合物中的高維臨界轉換。
