机译:基于前后一致的带注释逻辑程序bf-EVALPSN的流程前后关系的逻辑推理系统
机译:由文字-参数一致或文字-参数不完全矩阵定义的逻辑的代数化
机译:专家组模拟通过解除副译分的行为能力评估行为竞争力
机译:算术逻辑单元(ALU)与超一致性注释逻辑一起使用的新建议
机译:犹太精神实践的卡巴拉主义基础。 Gerona的Rabbi Ezra:关于Mizvot的kabbalistic含义。引言,带注释的翻译,希伯来语重要版(Nahmanides,Maimonides)。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:杂交的副完备和滞假逻辑