INRIA Nancy-Grand Est, Nancy, Prance,FaMAF, Universidad Nacional de Cordoba, Cordoba, Argentina;
INRIA Nancy-Grand Est, Nancy, Prance,Universite de Nancy, Loria, Nancy, France;
机译:防护立方类型理论:防护递归的路径相等
机译:本体论介导的分歧介导用守卫片段查询
机译:一维守卫碎片
机译:组合理论:Ackerman和守卫的碎片
机译:路径功能依赖性和带计数的两个变量保护片段
机译:一种综合世界建模理论(IWMT)的意识:将综合信息和全球神经元工作空间理论与自由能原理和有源推断框架相结合;解决难题和表征患者的因果关系
机译:结合理论:阿克曼和守卫的碎片