默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

APPSEM 2000：葡萄牙卡米尼亚

>主页 >会议和研讨会

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/2000appsem公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/2000appsem
吉尔斯·巴特,彼得·戴比杰,路易斯·平托,若昂·萨拉瓦:
应用语义学，国际暑期学校，APPSEM 2000，卡米尼亚，葡萄牙，2000年9月9日至15日，高级讲座。计算机科学讲义2395,施普林格 2002，国际标准图书编号3-540-44044-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/BartheC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/BartheC00
吉尔斯·巴特,蒂埃里·科昆:
从属类型理论导论。 1-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/本顿HM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/BentonHM00
尼克·本顿,约翰·休斯,尤金尼奥·莫吉:
Monads和Effects。 42-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/居里00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Curien00
皮埃尔·路易斯·居里:
抽象机器、控制和序列。 123-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/DybjerF00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/DybjerF00
彼得·戴比杰,安德烈·菲林斯基:
归一化和部分求值。 137-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/EdalatH00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/EdalatH00
阿巴斯·艾达拉特,雷霍德·赫克曼:
用实数计算。 193-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/FournetG00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/FournetG00
Cédric Fornet公司,乔治·戈蒂尔:
连接演算：一种分布式移动编程语言。 268-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Odersky00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Odersky00网址
马丁·奥德斯基:
功能网络简介。 333-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/Pitts00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Pitts00
安德鲁·皮特斯:
操作语义和程序等效性。 378-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/汇款00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/Remy00
迪迪埃·雷米:
使用、理解和解开OCaml语言。从实践到理论和反面。 413-536

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。