The University of Manchester (United Kingdom).;
机译:与理论的一阶自动化推理:扣除模数理论符合实践
机译:儿童错误信念推理的贝叶斯框架:理论,理论和模拟理论的合理融合
机译:一阶和命题理论的基于分区的逻辑推理
机译:具有大理论的推理抽象提炼框架
机译:一阶理论的同构的Borel复杂性。
机译:儿童错误信念推理的贝叶斯框架:理论理论和模拟理论的合理融合
机译:走向抽象的改进框架,了解了大学理论
机译:基于广义平均方法的二阶半导体二阶半人工卫星理论研究第一类非球面引力和非共振三维扰动的平均运动方程的显式发展