Thomas Ågotnes教授的2018级本科生课程报告

2019-06-20

---

南京大学张建军教授与南开大学任晓明教授学术报告会暨讨论会

2019-05-06

---

Thomas Ågotnes教授报告：真实的谎言（True Lies）

2019-04-23

---

慕尼黑大学Rush Stewart 博士概率化观念聚合系列报告

2018-12-10

---

《可计算性逻辑》结课报道

2018-07-05

---

加拿大阿尔伯塔大学犹嘉槐教授报告：混合MKNF的三值语义

2018-07-02

---

香港科技大学林方真教授报告：AI中的知识表示与推理

2018-07-02

---

[Short Courses]可计算性逻辑短期课程安排

2018-05-28

---

亚美尼亚哈恰图良·阿博维扬国立师范大学科学哲学及论证讲座

2018-04-23

---