Christian Fermüller

Associate Professor

简介

1) Theoretical Computer Science2) Artificial Intelligence3) Automated Deduction4) Natural Language Processing5) Logic and Foundations of Mathematics6) Mathematical Fuzzy Logic7) Computational Intelligence8) Formal Models of Reasoning Under Vagueness9) Proof Theory and Proof Search in Non-Classical Logics

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

学生评价

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