2014维也纳逻辑之夏系列会议（VSL）

导出

摘要 7月9—24日在维也纳科技大学举行，由库尔特·哥德尔学会主办。来自世界各地的2000多名研究者与会，包含三个会议主板块：计算机科学逻辑、数理逻辑和人工智能逻辑，共由12个大型学术会议与数十个小型讨论会组成，一批知名学者如达纳·斯科特（Dana Scott）、埃德蒙·克拉克（Edmund Clarke）作了精彩的学术报告。

作者张永义

出处《中国哲学年鉴》 2015年第1期547-547,共1页 Chinese Philosophical Almanac

关键词科学逻辑维也纳科技大学人工智能数理逻辑学术会议知名学者学术报告

分类号 B81 [哲学宗教—逻辑学]

引文网络
相关文献

1张珊,张存保,李薇.雾天环境下高速公路可变限速控制方法研究[J].交通信息与安全,2018,36(2):47-53. 被引量：12
2杨雅静,刘志广,张永策,赵丽妮.三维网络扫描电镜虚拟实验室的构建[J].实验室研究与探索,2018,37(3):272-277. 被引量：2
3信息窗口[J].工业加热,1987,0(6):6-18.
4王宏伟,张天标.七氟醚和丙泊酚对人体精子运动功能和体外获能的影响[J].中华实验外科杂志,2018,35(5):948-950.
5宁波,彭嘉宁,常鹏,李桐,张舒丽.基于设备智能逻辑模型建模的电网监控信号分析研究[J].电子技术与软件工程,2017(21):216-217. 被引量：2
6英国一女子得了怪病全身肌肉萎缩僵硬[J].人人健康,2018(11):28-28.
7姚尘.良好的祝愿热切的期望——《世界文学》创刊三十周年纪念茶会侧记[J].世界文学,1983(5):293-300.
8卷首语[J].培训,2018,0(5):3-3.
9第二届全国液态模锻(挤压铸造)学术交流会论文摘要[J].兵器材料科学与工程,1986,9(11):68-73.
10管清潆(编译).英国：档案记录女性律师的成就[J].中国档案,2018,0(5):76-76.

中国哲学年鉴

2015年第1期

浏览历史

内容加载中请稍等...

2014维也纳逻辑之夏系列会议（VSL）

相关作者

相关机构

相关主题

浏览历史