中心相册列表                       共 284 个相册 本页为第 241 - 248 个

4月26日及28日Francien Dechesne博士于本中心的两次报告
3月29日贺飞老师:假设-保证推理和数组逻辑在形式化验证中的应用
我校博士张立英获第五届金岳霖学术奖一等奖
宋文坚、刘壮虎出席“纪念金岳霖先生诞辰115周年学术研讨会暨金岳霖学...
7月25日-27日周北海、刘壮虎出席“心灵与机器”苏州会议
4月24-26日王宪钧先生诞辰100周年纪念暨全国现代逻辑研讨会照片
5月4日新西兰奥克兰大学Jeremy Seligman教授:Facebook Logic
4月27日朱水林教授:蒙太古语义学和机器翻译

 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36  

联系我们      关于本站      版权所有© 2009-2019  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼