机译:惠誉风格自然演绎系统中的简化证明
机译:天然扣除风格的古典计算的非幂等类型
机译:教堂和咖喱风格之间的现有类型系统(无类型风格)
机译:两种类型的图解推理系统:自然演绎风格和解析风格
机译:通过发展和实施社会学习者学习风格调查,探索心理类型与认知风格之间的关系及其对拟议的社会学习者学习风格的贡献
机译:太极拳不同训练时间和风格对2型糖尿病患者的血糖控制:对照试验的系统评价和荟萃分析
机译:一种用于命题$ \ mu $ -calculus的自然演绎风格证明系统 它在归纳型理论中的形式化