School of Computer Science, Tel-Aviv University, Tel-Aviv, Israel;
机译:BBI标记后继演算:证明理论和证明搜索
机译:中学教师对基本数论证明的认识:一般证明的情况
机译:中学教师对基本数论证明的认识:一般证明的情况
机译:标记为BBI的后续演算:证明理论和证明搜索
机译:神圣拐角文化的起源:基于考古证据的早期民族理论的重新评估。
机译:Actissist:理论驱动的精神病数字干预的概念验证试验
机译:$ lambda $-微积分中的标准化定理的证明(以范畴理论和证明理论之间的新相互作用为目标)
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息