...
机译:带线程转义的嵌套原子部分的形式语义
Univ Orleans, INSA Ctr Val Loire, LIFO EA 4022, Orleans, France.;
Univ Orleans, INSA Ctr Val Loire, LIFO EA 4022, Orleans, France.;
Univ Orleans, INSA Ctr Val Loire, LIFO EA 4022, Orleans, France.;
Atomic sections; Well-synchronisation; Atomicity; Program traces; Formal semantics; Proof assistant;
机译:使用潜在语义分析和模糊正式概念分析计算语义相关性
机译:语义Web服务组合使用语义相似度量和正式概念分析
机译:“语义”一词的正式定义是工业互联网中语义互操作性的基础
机译:带有线程转义的嵌套原子部分:操作语义
机译:动态编译环境中的高效线程转义分析。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:质量衰减系数,电子,原子和分子横截面,有效原子编号,有效原子序和用于一些生物学上重要元素的化合物的电子密度,在59.5 keV