您要查找的是不是：
- decidable subclause [计] 可判定子句
- Finance Party is not obliged to take any step under this Subclause if, in the opinion of that Finance Party (acting reasonably), to do so might be prejudicial to it. 如果按照出资方以其合理行为下的意见，出资方没有义务在此付条款下执行任何的有可能有损于它的步骤。
- P is also known to be at least as large as L , the class of problems decidable in a logarithmic amount of memory space. P 也已知至少大于L 一个可在对数量级的记忆体空间上决定的问题的类别。
- Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
- Separable verb in a subclause ? 可分复合动词的字首 ?
- For the decidable cases of arithmatical sentences, we give the upper and lower bounds of their computational complexity. 对具可决定性的算术句型，我们并给出了其计算繁度的上界与下界。
- Dynamic context and steady context are decid ed by the variability and steadiness of context factors. 它是与具体的语用行为密切联系的、同语用过程相始终的、对语用活动有重要影响的条件和背景 ;
- They wanted to have a plant in it that was easy to take care of, so they decid... 于是，做冬成了一年中一个颇重要的家庭项目。
- First you must give details of their Google account, then once loadedtheir calendars to Google is possible to decid... GSync是Windows Mobile，为同步事件和您的掌上电脑与谷歌日历时间安排工具。
- In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning. 相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
- An European Company is staffing a Toys Merchandiser in Shenzhen.Responsibilities:-Able to help customer to decid...... ... 公司名称：上海杰迈晶雅人力资源有限公司广州分公司工作地点：广东省深圳市发布时间：2009-6-10
- First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable. 然后在限定属性值范围和无生成策略的条件下，说明了安全问题的确定性；
- At the s ame time, not only economic factor but also traditionally cultural customs decid e the change of the ways that people support the old. 同时,决定养老方式变化的动因不只是经济因素,传统的敬老、养老文化观念也决定着人们养老方式的选择。
- On the aspect of payment standard,dispatching workers participation in negotiation of recompense should be prescribed,and the payment standard should be decid. 在支付标准方面,应规定劳动者参与协商劳动报酬的权利,并以劳动者利益为基础确定支付标准。
- Some constraints are put forward to make analysis of compatiliby decidable and an algorithm is provided for verification of compability. 2.Offer constraints for substitution of Web service. 在此基础之上，通过自底向上的合成分析，研究Web服务合成的相容性问题，提供相容性的分析步骤，并给出判定算法验证Web服务合成流程的正确性。
- Description logics are fragments of the first-order logic，which contain concepts，roles，and concept and role constructors；and have features of strong expressivity and decidable reasoning. 摘要描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。
- Based on engineering practice of dyn amic compaction,the method of decid ing control parameter(such as optimum energy,consolidation dept h,bearing capacity)were proposed out and the compute formula about the dynamic compaction were also establ ished. 在工程实践的基础上,提出了强夯加固地基的各项设计控制参数:最佳夯击能、有效加固深度以及夯后承载能力的确定方法和计算公式。
- A decidable algorithm for inclusion of quasi-algebraic varieties 拟代数簇包含关系的判定算法
- we have take a look of the house then decid to rent it or not. 我们必须先查看一下房子再决定租不租.
- decidable formula 可判定公式
