Agata Ciabattoni

Lecturer

mathematical logic, Formal Methods

简介

Logics different from classical (yes/no) logic: theory, tools and applications to various fields, including Artificial Intelligence and philosophy.

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

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