跳到主要内容
牛津大学计算机科学系
搜索
搜索
切换
主菜单
主页
和我们一起学习
研究
(当前)
新闻
事件
关于我们
学生空间
与我们合作
主页
研究
编程语言
前言
前言
Bart Jacobs、Alexandra Silva和Sam Staton
书籍标题
2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录
编辑器
巴特·雅各布斯、亚历山德拉·席尔瓦和萨姆·斯塔顿
页
1–2
出版商
爱思维尔
系列
理论计算机科学电子笔记
体积
308
年份
2014
链接
BibTeX公司
链接
内政部
(10.1016/j.entcs.2014.10.001)
另请参见
萨姆·斯塔顿
编程语言
算法与复杂性理论
人工智能与机器学习
自动验证
计算生物学与健康信息学
数据、知识和行动
以人为中心的计算
编程语言
活动
项目
人
出版物
量子
安全
系统
返回页首