Univ. Paris-Sud, Laboratoire LRI, UMR8623, Orsay, F-91405, France CNRS, Orsay, F-91405, France;
机译:证明Isabelle / HOL中的分而治之的复杂性
机译:将伊莎贝尔内幕框架应用于飞机安全性
机译:学习,查看,练习,证明,执行,维护:医学过程医学训练的循证教学法框架
机译:Isabelle / Jedit - Pide框架内的箴言IDE
机译:圣迈克尔印第安人寄宿学校,1894-1926年:在更广泛的历史和意识形态框架内进行的研究。
机译:在想法到行动框架内的自杀能力:一个范围审查协议
机译:Isabelle / jEdit - pIDE框架内的prover IDE