Institute for Computing and Information Sciences Radboud University Nijmegen;
Institute for Computing and Information Sciences Radboud University Nijmegen;
机译:使用时间逻辑分析时间逻辑:一种基于时间间隔的分层方法
机译:区间时间逻辑中的分数许可和不确定性评估器
机译:代数代数,区间时间逻辑和区间点
机译:间隔时间逻辑中失败的操作
机译:使用时间间隔逻辑指定分布式程序。
机译:暂时相减在胸部X光片上检测间隔变化的应用:使用自动初始图像匹配改进相减图像
机译:间隔时间逻辑中的操作和事件
机译:区间时态逻辑中的动作和事件