机译:在类型逻辑语法中结合逻辑和分布方法
Type-logical grammarLambek calculustheorem proving;
机译:类型逻辑文法的易学性
机译:“相应”谓语的语法-语义接口:混合类型-逻辑分类语法的统一分析
机译:日语中的非成分协调作为成分协调:混合类型-逻辑分类语法的分析
机译:混合类型逻辑语法的证明理论方面
机译:集成分布式数据库设计的基于语义的方法:结合逻辑和碎片设计以及设计自动化
机译:人左冠状动脉中动脉粥样硬化部位的血流模式和壁剪切应力分布-CT和计算流体力学相结合方法的探索
机译:混合型逻辑语法,一阶线性逻辑和 Lambda语法的描述性不足