...
Automated theorem provingfunctional translationsorts;
机译:翻译,获得规范的功能和最低规范的要素
机译:行为在心理病理学转化模型中的作用:功能和功能异常行为
机译:在&lt中&gt的日语翻译中的翻译研究。Takeda Pharmaceuticalutical&l ;;从功能等同理论的角度来看
机译:用单调性对其进行排序:在多排序和未排序的一阶逻辑之间进行转换
机译:未分类的粒子云在环境错流中的分散。
机译:弓形病毒Y型翻译增强子与eIF4F形成复合物可以在功能上被异源翻译增强子取代
机译:未分类的功能翻译