机译:确定具有域的有序类别中的关系替换
Department of Computing and Software, McMaster University, 1280 Main St. West, Hamilton, Ontario, Canada L8S 4K1;
unification; substitution; relation domain; determinacy; restricted residuals; membership; locally-ordered category; quotient; PER;
机译:结构映射和关系语言支持儿童学习关系类别
机译:关系类别比实体类别更具变形
机译:模块类别中群集类别的基本域
机译:域中有序类别中关系替换的确定
机译:取代二氢脂酰乙酰基转移酶的内部脂酰结构域的修复基的功能性后果和内部脂酰结构域的丙酮酸脱氢酶激酶同工型3的激活机制
机译:一组从未接受过抗逆转录病毒治疗的患者中HIV-1逆转录酶的连接亚域和RNase H域中取代的临床相关性
机译:确定具有域的有序类别中的关系替换