加拿大阿尔伯塔大学犹嘉槐教授报告:混合MKNF的三值语义
2018-07-02
香港科技大学林方真教授报告:AI中的知识表示与推理
2018-07-02
[Short Courses]可计算性逻辑短期课程安排
2018-05-28
亚美尼亚哈恰图良·阿博维扬国立师范大学科学哲学及论证讲座
2018-04-23
共44条 首页上页12345下页尾页 /5页 跳转