缓存事件演算中的高效时间推理 电子书下载

原名:efficient temporal reasoning in the cached event calculus
作品简介:效率问题的积极解决方案对于保证微积分（EC）扩展上下文依赖是必要的，并且具有有效的属性来保证事件发生时某些给定条件的有效性 eRightOverZap(Lh – 1) 由最这三个替代品的价格昂贵……