E
📝 描述
University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
⭐ 用户评价
暂无评价