Saarland University German Research Centre for Artificial Intelligence (DFKI GmbH), Stuhlsatzenhausweg 3, 66123 Saarbruecken, Germany;
机译:Kurt G?Del在逻辑中的第一步:通过自然扣除系统进行算术和结构理论的正式证明
机译:直觉互动证明的逻辑(完美知识转移的形式理论)
机译:否定完全互动证明的逻辑(认知决定论的形式理论)
机译:教科书证明符合正式逻辑 - 缺乏指定和粒度的问题
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:使用PVS形式逻辑系统在信息安全系统建设中的正式安全性证明方法中
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息