German Research Center for Artificial Intelligence (DFKI), Saarbruecken, Germany;
机译:上大学证明相关推理:瑞典和芬兰教科书的特点
机译:使用特异性的Mimamsa故事推理:证明理论方法
机译:定量推理对预期数学教师的影响吗? 证明理解:实数的情况
机译:证据规划的僵局推理
机译:特立尼达和多巴哥的数学教育改革:中学的推理和证明案例。
机译:常规IMRT计划与新型实时自适应计划策略在前列腺癌低分割区系中的比较:概念验证计划研究
机译:证明计划中的僵局驱动推理
机译:自动推理在证明翻译和寻找具有特定属性的证据中的应用:在多值句子演算中的案例研究。