School of Computer Science, The University of Manchester, Manchester, UK;
School of Computer Science, The University of Manchester, Manchester, UK;
Automated reasoning; Large theories Abstraction-refinement;
机译:儿童错误信念推理的贝叶斯框架:理论,理论和模拟理论的合理融合
机译:通过抽象提炼对多值系统进行成分验证的框架
机译:触发器查询的抽象优化框架
机译:具有大理论的推理的抽象精炼框架
机译:具有大理论的一级推理的抽象精炼框架
机译:儿童错误信念推理的贝叶斯框架:理论理论和模拟理论的合理融合
机译:走向抽象的改进框架,了解了大学理论
机译:信息可生存性的综合推理框架(用户意图封装和入侵推理:实施和绩效评估)