...
机译:通过类型理论中的类型理论评估进行归一化
机译:类型理论的大阶段标准化
机译:关于拟议2型糖尿病应用程序的GP态度的正常化过程理论观点:面试研究
机译:关于拟议2型糖尿病应用程序的GP态度的正常化过程理论观点:面试研究
机译:基于评估归一化的Martin-Loef子类型理论的子类型检查算法
机译:针对2型糖尿病管理的针对碳水化合物的数量和质量的基于理论的营养干预措施的开发和评估
机译:支持在跨国卫生服务研究中使用理论:以归一化过程理论为例的参与式定性方法
机译:通过评估类型理论进行归一化,在类型理论中
机译:解释马丁 - 洛夫在一类自由命题理论中的类型理论