机译:Cograph依赖字母的局部时态逻辑在表达上是完整的
机译:Mazurkiewicz迹线的纯未来局部时态逻辑在表达上是完整的
机译:公制时间逻辑表达何时完成?
机译:局部时态逻辑在Cograph依赖字母上表现力十足
机译:为蛋白质结构预测创建新的局部结构字母。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:Cograph依赖字母的局部时态逻辑在表达上是完整的
机译:时态逻辑编程是完整和富有表现力的