...
机译:线性逻辑和证明网构建中的连接方法
Linear logic; Automated deduction; Proof nets; Connection methods; Free sequent calculi; Intuitionistic logic; Search;
机译:线性逻辑和证明网构建中的连接方法
机译:乘法循环线性逻辑和Lambek演算的证明网
机译:用于乘法循环线性逻辑和Lambek微积分的证明网
机译:非换向逻辑的基于连接的证明施工
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:使用机器学习方法构建超出标准线性模型的环境风险评分:应用于NHANES中的金属混合物氧化应激和心血管疾病
机译:线性逻辑和证明网构建中的连接方法
机译:部分订单逻辑的连接和部分订单减少方法