机译:对名称和过程的高阶过程进行参数化
East China Univ Sci & Technol Shanghai 200237 Peoples R China;
Parameterization; encoding; context bisimulation; normal bisimulation; higher-order; first-order; processes;
机译:在参数化扩展的高阶进程的交互力量上
机译:关于高阶过程的参数化
机译:骨骼过程的解剖名称-拉丁名称的分析和分类,以及与相应日语名称的比较
机译:通过多级自适应主体模型对高阶自适应进化过程建模
机译:双特异性融合蛋白产品中错配型变异的结构表征:生物治疗过程中高阶结构分析控制策略的案例研究
机译:用WRF-NMM模型模拟物理过程的参数化对热带气旋纳尔吉斯(2008)径迹和强度模拟的影响
机译:具有名称和进程参数化的高阶过程