Limburgs Universitair Centrum;
RWTH Aachen;
Warsaw University;
Limburgs Universitair Centrum;
机译:将循环添加到一阶逻辑
机译:使用一阶逻辑设计抽象域
机译:匹配逻辑-扩展摘要(特邀演讲)
机译:为一阶逻辑扩展摘要添加循环
机译:在动态认知逻辑中添加时间逻辑。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:将前环添加到一阶逻辑
机译:利用李变换群寻找一阶常微分方程的闭式解(扩展摘要)