Domain-Specific Modeling Languages; Model Generation; Theorem Provers;
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:一种使用无割逻辑的有限准一致性模型证明可实现性和一致性定理的新技术
机译:带有可满足模理论求解器的多值逻辑的自动定理证明
机译:DT-用于多值一阶谓词逻辑的自动定理证明器
机译:通过翻译成描述逻辑来自动证明定理。
机译:使用光谱域光学相干层析成像技术自动构建一级房水流出通路的圆周。
机译:DT-多值一阶谓词逻辑的自动定理证明
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证