Semantics; Algebraic/co-algebraic semantics; Logical frameworks; Typed lambda calculus; Games;
机译:认知逻辑运算符的量子计算语义学。第二部分:语义
机译:累积语义,语义阻塞和图片命名中的语义分散效应的统一计算叙述
机译:第三方逆向物流提供商选择:基于计算语义分析的多视角多属性决策方法
机译:艺术你......计算的语义吗?
机译:模糊语言中语义与语用学相互作用的计算与实证探索
机译:蛋白酶Nexin-1在心血管系统中:艺术你呢?
机译:为什么要研究文本体裁的原因