您要查找的是不是：
- 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 一種基于一階謂詞邏輯的模型表示方法
- third order predicate logic 三階謂詞邏輯
- One of the second order of angels. 二級天使天使中的第二級
- first order predicate logic 一階謂詞邏輯
- higher order predicate logic 高階謂詞邏輯
- Kim B. Bruce gave a system of axioms lor second order logic L(Q). Bruce于1978年提出二階邏輯L(Q)的概念和公理系統。
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三價(jià)邏輯L(Q)的邏輯公理系統。
- And the second order effects should also be mild. 第二波的影響亦應該比較溫和。
- 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ǔ)言的不同解釋。
- Numerical solution of second order differential equations. 二階微分方程的數值解。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用謂詞邏輯法舉例分析PLC梯形圖的編制過(guò)程,并分析其優(yōu)缺點(diǎn)。
- The general solution of a kind second order equation is given. 摘要給出一類(lèi)二階變系數線(xià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)解釋中的解釋域取為非空有限集。
- It is: (1)designed according to attenuate vib-ration system of second order. 其特點(diǎn)是按具有衰減振蕩的二階系統進(jìn)行設計;
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全稱(chēng)所示：如此設計，旨在強調其與謂語(yǔ)邏輯原理的密切關(guān)系和及其堅實(shí)的基礎地位。
- By combining these pictographs, a second order of ideas is expressed. 把這些象形字綴合在一起表示了另一層次的觀(guān)念。
- Existence of positive solutions of BVP for second order IDE with fixed moments. 二階脈沖微分方程邊值問(wèn)題。
- Title： Boundary value problem for a class of second order nonlinear O.D.E. 關(guān)鍵詞：非線(xiàn)性常微分方程;邊值問(wèn)題;解;存在性
