停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

古巴哈瓦那APPIA-GULP-PRODE 2000

>主页 >会议和研讨会 >APPIA-GULP-PRODE公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/agp/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/agp/2000
阿戈斯蒂诺·多维尔,玛丽亚·奇亚拉·梅奥,安德里亚·奥米奇尼:
2000年12月4日至6日，古巴拉哈巴纳，《声明性编程——2000年AGP论文选集》。理论计算机科学电子笔记48,爱思维尔 2000
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FormisanoOT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FormisanoOT01
安德烈亚·福米萨诺,尤金尼奥·奥莫多,马可·坦佩里尼:
分层地图推理：一种在场景中进行试验的实验方法。 1-28
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CortesiRC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CortesiRC01
阿戈斯蒂诺·科尔特斯,萨比娜·罗西,波杜因·勒·查利埃:
具有延迟声明的逻辑程序基于重新执行的分析的操作语义。 29-44
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Amato01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Amato01
吉安卢卡·阿马托:
一阶逻辑的正确答案。 45-64岁
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BozzanoDM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BozzanoDM01
马可·波扎诺,乔治·德尔扎诺,毛里齐奥·马泰利:
析取与线性逻辑规划的关系。 65-89
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/DovierGQ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DovierGQ01
阿戈斯蒂诺·多维尔,罗伯托·贾科巴齐,伊丽莎·昆塔雷利:
精炼和压缩抽象模型检查。 90-107
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/PierroHW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PierroHW01
亚历山德拉·迪·皮耶罗,克里斯·汉金,赫伯特·威克利基:
声明性框架中的概率限制。 108-130
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CominiGL01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CominiGL01
马可·科米尼,罗伯塔·戈里,乔治·列维:
逻辑程序作为逻辑程序归纳验证中的规范。 131-146
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Fruehwirth01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Fruehwirth01
托姆·W·福吕维思:
约束程序中规则应用程序的数量。 147-166
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/FerreiraA01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FerreiraA01
利贾·费雷拉,萨尔瓦多·阿布鲁:
AJACS设计，又一个Java约束编程框架。 167-178
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/OmiciniD01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/OmiciniD01
安德烈亚·奥米西尼,恩里科·丹蒂:
正式重新规范。 179-196
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FalaschiPV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FalaschiPV01
莫雷诺·法拉斯基,阿尔贝托·波利克里蒂,艾丽西娅·维拉纽埃娃:
用时间并发约束语言I指定的并发系统建模。 197-210
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Ossowski01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Ossowski01
萨沙·奥斯索夫斯基:
基于约束的自治代理协调。 211-226年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Brogi01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Brogi01
安东尼奥·布罗吉:
反应剂的概率行为。 227-252
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/DovierMO01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DovierMO01
阿戈斯蒂诺·多维尔,玛丽亚·奇亚拉·梅奥,安德烈亚·奥米西尼:
前言。 253-254

服务

管理网站设置

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