默认搜索操作

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

问别人

3.META 1992年：瑞典乌普萨拉

>主页 >会议和研讨会 >元

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/1992年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/1992
阿尔贝托·佩托罗西:
逻辑元编程，第三届国际研讨会，Meta-92，瑞典乌普萨拉，1992年6月10-12日，会议记录。计算机科学课堂讲稿649,施普林格 1992，国际标准图书编号3-540-56282-6

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Gardenfors92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Gardenfors92
彼得·加德福尔斯:
信仰修正：邪恶的机甲。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/CerroH92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/CerroH92
路易斯·法利尼亚斯·德尔·塞罗,安德烈亚斯·赫齐格:
通过内涵演绎的元编程：一些例子。 11-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Konolige92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Konolige92
库尔特·科诺利奇:
逻辑程序设计中元层次推理的自认知分析。 26-48

高级教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Komorowski92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Komorowski92
亨利克·扬·科莫洛夫斯基:
部分扣除简介。 49-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/SchreyeV92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/SchreyeV92
丹尼·德·施雷耶,克里斯托夫·弗沙埃茨:
逻辑程序终止教程。 70-88

语言与应用I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Harmelen92文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Harmelen92
海尔梅莱恩:
元级系统中的可定义命名关系。 89-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/BrogiMPT92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/BrogiMPT92
安东尼奥·布罗吉,保罗·曼卡雷拉,迪诺·佩德莱斯基,弗朗科·图里尼:
模块化逻辑编程元。 105-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/德布雷92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Debray92
索米亚·德布雷:
低层冗余消除的编译器优化：元级Prolog基元的应用。 120-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/CostantiniDL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/CostantiniDL92
斯蒂芬妮娅·科斯坦蒂尼,皮耶朗基罗·德尔·阿夸,盖塔诺·奥雷利奥·兰扎隆:
元编程中的反射代理。 135-147

语言与应用II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/CervesatoR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/CervesatoR92
伊利亚诺·塞韦萨托,吉安弗兰科·罗西:
LOG中的逻辑元编程设施。 148-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Bahgat92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Bahgat92
Reem Bahgat公司:
潘多拉僵局处理元级关系。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/BenkerimiH92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/BenkerimiH92
凯里马·本克里米,帕特里夏·M·希尔:
哥德尔面向对象编程：一项实验。 177-191

逻辑基础

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/SchreyeM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/SchreyeM92
丹尼·德·施雷耶,伯恩·马滕斯:
非类型化Vanilla元程序设计的合理的最小Herbrand语义及其扩展到有限形式的合并。 192-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/克里斯蒂安森92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Christiansen92
亨宁·克里斯蒂安森:
逻辑元编程语言的完全解析方法。 205-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Bonatti92文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Bonatti92网址
皮耶罗·A·博纳蒂:
演示的模型理论语义。 220-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Giunchiglia SS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/GiunchigliaSS92
福斯托·金奇利亚,卢西亚诺·塞拉菲尼,亚历克斯·K·辛普森:
层次元逻辑：直觉、证明理论和语义学。 235-249

转换与分析I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Wiggins92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Wiggins92网址
杰兰特·维金斯:
自动生成逻辑程序的否定与控制。 250-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/BossiCE92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/BossiCE92
安娜丽莎·博西,尼科莱塔·科科,桑德罗·埃塔利:
通过替换转换普通程序。 265-279

转换与分析II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/TraffP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/TraffP92
杰斯珀·拉尔森·特罗夫,史蒂文·戴维·普雷斯特维奇:
演绎数据库中重新排序文字的元编程。 280-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/BruynoogheJ92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/BruynoogheJ92
莫里斯·布吕诺格,格尔达·詹森:
传播：逻辑程序抽象解释框架中的一种新操作。 294-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/MesnardG92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/MesnardG92
弗雷德里克·梅斯纳德,Jean-Gabriel Ganascia公司:
CLP（Q）用于证明争论关系。 308-320

知识表示

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/HamfeltH92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/HamfeltH92
安德烈亚斯·哈姆菲尔特,奥克·汉森:
零碎多层知识的表示。 321-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/meta/Grabowski92文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/meta/Grabowski92
简·格拉博夫斯基:
变更假设、对象和继承的元程序。 336-351

管理网站设置

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