logo
proof mining

会议结果 (1)

Workshop on Logic, Language, Information and Computation (WoLLIC)

Rank: COffline
University of Porto, Portugal
Jul 14, 2025 - Jul 17, 2025
non-classical logicsfoundations of computingprogramming theory and Artificial Intelligence (AI)+16 更多