IRIT, Universite Paul Sabatier 31062 Toulouse Cedex, France;
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:通过在Labview中实施Quine Mccluskey方法确定逻辑函数的素数蕴涵
机译:素质逻辑暗示和主要血液
机译:重试,主要含义和树宽。
机译:确定可卡因为条件的地方优先恢复牵连的脑核的识别:从敏化行为分离。
机译:prime暗示和主要蕴涵:从命题到模态逻辑
机译:多值逻辑函数最小化中的素数和非素数蕴涵