Department of Computer Science, University of Oxford, Oxford, United Kingdom;
机译:N.A. Vasil’ev的逻辑观念和多值逻辑的分类语义学
机译:从量子力学的分类框架到自然语言语义学的量化,Frobenius和Bi代数
机译:具有应用程序前言的逻辑和语义框架
机译:线性逻辑框架的分类语义
机译:逻辑语义和认知保证:对逻辑后果进行信息说明。
机译:使用逻辑框架方法和鱼骨图的远程医疗评估框架
机译:线性逻辑框架的分类语义