机译:围绕用户集成系统:在Prover?s面板中结合Isabelle,Maple和QEPCAD
机译:在Isabelle / HOL中编程和验证声明性一阶证明人
机译:证明Isabelle / HOL中的分而治之的复杂性
机译:在Prover的调色板中结合Isabelle和QEPCAD-B
机译:东方妇女的三岁代表在董事会Gautier,Gustave Fraubert和Isabelle Eberhardt的作品中
机译:结合功能性杂草生态学和作物稳定同位素比率确定耕种强度:法国上普罗旺斯和西班牙阿斯图里亚斯谷物生产方式的比较
机译:围绕用户集成系统:将Isabelle,maple和QEpCaD组合在prover的palette中