...
机译:具有置换推理的免割Gentzen型命题演算的可操作性II
Automated theorem proving; Computational complexity; Proof theory; Proofs; Resolution;
机译:具有置换推理的免割Gentzen型命题演算的可操作性II
机译:命题动态逻辑的无收缩无割顺序演算
机译:无缺陷的序列阶段,用于缺乏杂种推断
机译:没有可行的无切割的晶体型命题微积分的可行单调插值,具有置换推理
机译:对称函数理论和舒伯特演算中的置换图。
机译:ACE建模的加速估计和置换推理
机译:具有置换推理的免割Gentzen型命题演算的可操作性II
机译:命题计算的数字化和单一功能计算