期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
2014维也纳逻辑之夏系列会议(VSL)
原文传递
导出
摘要
7月9—24日在维也纳科技大学举行,由库尔特·哥德尔学会主办。来自世界各地的2000多名研究者与会,包含三个会议主板块:计算机科学逻辑、数理逻辑和人工智能逻辑,共由12个大型学术会议与数十个小型讨论会组成,一批知名学者如达纳·斯科特(Dana Scott)、埃德蒙·克拉克(Edmund Clarke)作了精彩的学术报告。
作者
张永义
出处
《中国哲学年鉴》
2015年第1期547-547,共1页
Chinese Philosophical Almanac
关键词
科学逻辑
维也纳
科技大学
人工智能
数理逻辑
学术会议
知名学者
学术报告
分类号
B81 [哲学宗教—逻辑学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
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.
<
1
2
>
中国哲学年鉴
2015年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
微信扫一扫:分享
微信里点“发现”,扫一下
二维码便可将本文分享至朋友圈。
;
用户登录
登录
IP登录
使用帮助
返回顶部