这个一致性意味着CBE可表示支持特定功能的各种不同技术生成或使用的事件。
This consistency means that CBEs can be used to represent events that are generated or consumed by disparate and diverse technologies, which just happen to support a particular function.
这些结果说明,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
这些结果说明,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
应用推荐