机译:用模态扩展Łukasiewicz逻辑:关系语义的代数方法
机译:用模态扩展?lukasiewicz逻辑:关系语义的代数方法
机译:彩票语义学:信息不完全的概率一阶逻辑的组合语义学
机译:一阶类型的模糊逻辑及其分类语义:线性完备性和基于Lawvere超学说的Baaz翻译
机译:用一阶逻辑表示软件开发历史的正式方法。
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:用形式扩展Łukasiewicz逻辑:关系语义的代数方法
机译:实现高性能一阶逻辑推理系统的并行处理方法