计算机逻辑 - 计算机逻辑技术,学习,经验文章

爱思德学术

2 天前

中国计算机学会（CCF）推荐学术会议-A（计算机科学理论）：LICS 2026The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26.