机译:广义中间三段论的结构
University of Ostrava, Institute for Research and Applications of Fuzzy Modeling, 30. dubna 22, 701 03 Ostrava 1, Czech Republic;
University of Ostrava, Institute for Research and Applications of Fuzzy Modeling, 30. dubna 22, 701 03 Ostrava 1, Czech Republic;
Fuzzy type theory; Generalized quantifiers; Intermediate quantifiers; Logical syllogisms;
机译:广义中间三段论的形式理论
机译:模糊自然逻辑中带有中间量词的三段论和五平方
机译:彼得森中级三段论的代数研究
机译:分级的对立立方体及其带有中间量词的广义三段论
机译:LLVM编译器基础结构中的结构化中间表示修改。
机译:归纳三段论的结构及其与演绎的关系
机译:关于减少荒谬和广义假设三段论在模糊逻辑中的一些评论
机译:GpsG(广义短语结构语法)模型的计算结构:修正的广义短语结构语法。