机译:关于使用随机局部搜索技术从示例中修改一阶逻辑理论
机译:一阶基于逻辑的随机建模语言的设计与测试
机译:无限值的一阶?UKASiewicz逻辑:HyperseChequent Calculi没有结构规则和证明Prenex形式中的句子
机译:通过随机本地搜索修改示例的一阶逻辑理论
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:关于随机本地搜索技术的使用来修改示例的一阶逻辑理论
机译:一阶谓词逻辑模型理论及相关时态逻辑