造句网zaojv.com随机好图 不显示
31. 表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。
32. 换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
33. 这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
33. 造 句 网是一部在线造句词典,其宗旨是让大家更快地造出更优质的句子.
34. 谓词演算与程序语义。
35. 一个例外是在V8中，由于MQT路由限制，任何查询谓词引用的事实表列都必须包括在统计视图中。
36. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
37. 清单2中的RDF三元组用谓词表达了author关系，虽然对您来说含义可能非常明显，但是计算机理解起来仍然困难。
38. 在谓词演算的反驳树中，被证明的合式公式。
39. 谓词的工作原理类似于：对于每个节点，引擎使用上下文处理谓词。
40. 当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。
41. 在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。
42. 本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
43. 如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。
44. 谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
45. 目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
46. 直方图用于计算谓词的选择率。
47. 谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
48. 容器的键值等同性谓词。