Alexander Leitsch

Lecturer

automated deduction, proof theory

简介

1) Automated deduction: Resolution decision procedures, decidable classesof first-order logic, automated model building, subsumption algorithms.2) Proof theory: Analysis of cut elimination3) Automated Lemma Generation4) Proof Analysis

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。