停止战争！

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

对于科学家：

默认搜索操作

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

问别人

60.生日：罗伯特·科瓦尔斯基, 2002

>主页 >会议和研讨会 >生日

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/2002kowalski1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2002kowalski1
安东尼斯·卡卡斯,法里巴·萨德里:
计算逻辑：逻辑编程及其以外，罗伯特·A·科瓦尔斯基的论文，第一部分。计算机科学讲义2407,施普林格 2002，十亿3-540-43959-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BruynooghePSE02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BruynooghePSE02
莫里斯·布吕诺格,路易斯·莫尼兹·佩雷拉,约格·希克曼,马滕·范·埃姆登:
一位科学家作为计算逻辑学家的肖像。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Sergot02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Sergot02网站
马雷克·塞尔戈特:
鲍勃·科瓦尔斯基：肖像画。 5-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/科瓦尔斯基02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Kowalski网址02
罗伯特·科瓦尔斯基:
逻辑编程说明。 26-32

逻辑编程语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/ClarkR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ClarkR02
基思·克拉克,彼得·罗宾逊:
代理作为多线程逻辑对象。 33-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/戴维森02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Davison02
安德鲁·戴维森:
互联网逻辑编程语言。 66-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/劳埃德02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/劳埃德02
约翰·劳埃德:
高阶计算逻辑。 105-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Ueda02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/Ueda02
Kazunori Ueda公司:
用于并行约束语言Flat GHC的纯元解释器。 138-161

程序派生和属性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BossiCE02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BossiCE02
安娜丽莎·博西,尼科莱塔·科科,桑德罗·埃塔利:
转换系统和非声明性属性。 162-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/SchreyeS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/SchreyeS02
丹尼·德·施雷耶,亚历山大·谢列布雷尼克:
一般订单的可接受性。 187-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GuptaP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GuptaP02
戈帕尔·古普塔,恩里科·蓬泰利:
领域特定语言的规范、实现和验证：基于逻辑编程的方法。 211-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Mancarella PR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MancarellaPR02
保罗·曼卡雷拉,迪诺·佩德莱斯基,萨尔瓦托·鲁杰里:
通过绑架作为失败的否定：终止的理由。 240-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/PettorossiP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/PettorossiP02
阿尔贝托·佩托罗西,毛里齐奥·普罗埃蒂:
程序衍生=规则+策略。 273-309

软件开发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Filener02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/Flener02
皮埃尔·弗莱纳:
项目综合的成就与展望。 310-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/LauO02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LauO02
刘恭桥,马里奥·奥尔纳吉:
基于组件的软件开发逻辑。 347-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/斯特林02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Sterling02
利昂·斯特林:
Prolog编程模式。 374-401

逻辑程序设计的扩展

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/DeneckerK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/DeneckerK02
马克·德内克,安东尼斯·卡卡斯:
逻辑编程中的诱拐。 402-436
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/FlachL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FlachL02
彼得·弗拉奇,纳达·拉夫拉克:
小句逻辑学习：归纳逻辑程序设计的一个视角。 437-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MinkerS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MinkerS02
杰克·明克,迪特马尔·塞佩尔:
选言逻辑程序设计：调查与评估。 472-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/华莱士02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Wallace02
马克·华莱士:
约束逻辑编程。 512-532

逻辑应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AielloM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AielloM02
路易吉亚·卡卢奇·艾略（Luigia Carlucci Aiello）,法比奥·马萨奇:
规划对安全协议的攻击：逻辑编程案例研究。 533-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BuccafurryG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BucafurryG02
弗朗西斯科·布卡弗里,乔治·戈特洛布:
多智能体妥协、联合不动点和稳定模型。 561-585
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/EiterMS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/EiterMS02
托马斯·艾特,维维亚娜·马斯卡迪,V.S.Subrahmanian公司:
容错代理。 586-625
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/荣格F02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JungF02
克里斯托夫·荣格,菲舍尔:
基于逻辑的混合代理。 626-654
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/SjolandKA02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/生日/SjolandKA02
托马斯·舍兰,佩·克鲁格,马丁·阿伦森:
异构调度和轮换。 655-676

服务

管理网站设置

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