LITA, Universite Paul Verlaine-Metz, 57000, France LORIA, 54000, Prance;
机译:高中代数与证明的整合:证明环境中学生使用多个变量和单个参数的工作
机译:高中代数与证明的整合:证明环境中学生使用多个变量和单个参数的工作
机译:方便的计算证明方法的机械化证明环境
机译:将隐式诱导证据集成到认证证明环境中
机译:在淡水鱼中整合代谢和食品网生态学:概念验证,有两个温水柱状
机译:SILKIE(皮肤低摩擦环境移植)研究:一项非随机的概念验证和可行性研究涉及低摩擦护理环境对成年和小儿烧伤皮肤移植成功率的影响
机译:将隐式归纳证明集成到经过认证的证明环境中
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息