机译:可变处理和组成:比较DRT和DTS
Ochanomizu Univ, Tokyo, Japan;
Ochanomizu Univ, Tokyo, Japan;
Ochanomizu Univ, Tokyo, Japan;
Formal semantics; Dynamic semantics; Proof-theoretic semantics; Discourse representation theory; Dependent type theory; Compositionality; Lambda-calculus; Anaphora resolution;
机译:可变处理和合成性:DRT和DTS比较
机译:CdTe / Hg_(1-x)Cd_xTe / CdTe量子阱的弛豫时间和能谱的仿真,其价带偏移,阱宽度和组成x均可变
机译:比较急性运动对运动员和未经训练的受试者血浆氨基酸组成,红细胞内Ca2 +处理和红细胞功能的影响
机译:比较机器学习模型以选择圆柱代数分解的变量有序
机译:用于超燃冲压发动机应用的可变湍流Prandtl和Schmidt数模型研究。
机译:与跑步者相比使用或不使用合成代谢类固醇的耐力训练运动员:对心肺变量身体成分和血脂的影响。
机译:Nasa / JaXa DTN DRTs TIm。