Syntactic concept lattice; Full Lambek calculus; Universal automaton; Finite automata;
机译:Lambek vs. Lambek:Lambek微积分的函数向量空间语义和字符串图
机译:使用有限收缩的Lambek微积分对回指椭圆进行类型驱动的矢量语义
机译:使用Lambek Changrule具有有限的壳体的椭圆型椭圆型椭圆型载体语义
机译:全兰伯克微积分的自动概念和自动机 - 理论语义
机译:自动构建概念模型,支持软件开发的早期阶段:语义对象模型方法
机译:一种半自动语义方法用于将Snomed CT概念映射到VCM图标
机译:Lambek与Lambek:Functorial向量空间语义和字符串图 对于Lambek微积分