停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第12届ICLP 1995：日本东京

>主页 >会议和研讨会 >ICLP公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/1995
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/1995
利昂·斯特林:
逻辑编程，第十二届逻辑编程国际会议论文集，日本东京，1995年6月13日至16日。麻省理工学院出版社 1995，国际标准图书编号0-262-69177-9

受邀会谈

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/Kahn95文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Kahn95
肯尼思·卡恩:
ToonTalk-儿童并发约束编程。 ICLP公司 1995:三

高级教程

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/长谷川95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hasegawa95
长谷龙子:
模型生成定理证明程序及其应用。 ICLP公司 1995:7
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Simonis95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Simonis95
赫尔穆特·西蒙尼斯:
约束逻辑编程的应用。 ICLP公司 1995:9月11日
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Smolka95型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Smolka95
格特·斯莫尔卡:
Oz：Real的并发约束编程。 ICLP公司 1995:13

约束条件I

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ChiuL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChiuL95
C.K.Chiu先生,J.H.M.李:
使用预处理区间高斯-赛德尔方法求解区间线性约束。 ICLP公司 1995:17-31
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/BurgSTY95文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BurgSTY95
詹妮弗·伯格,彼得·J·斯塔基,贾森·C·H·泰,罗兰·H·C·叶:
约束逻辑程序设计的线性方程求解。 ICLP公司 1995:33-47
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/HeintzeJ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HeintzeJ95
内文·海因策,佐克森·贾法尔:
CLP分析的通用算法。 ICLP公司 1995:49-63

逻辑程序设计中的动作表示

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SadriK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SadriK95
法里巴·萨德里,罗伯特·科瓦尔斯基:
事件演算的变体。 ICLP公司 1995:67-81
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BelleghemDS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BelleghemDS95
克里斯托夫·范·贝列根,马克·德内克,丹尼·德·施雷耶:
结合情境微积分和事件微积分。 ICLP公司 1995:83-97
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Sripada95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Sripada95
Suryanarayana M.Sripada公司:
时态数据库应用程序中事件演算的高效实现。 ICLP公司 1995:99-113

约束条件II

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CarlsonC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CarlsonC95
比约恩·卡尔森,马特斯·卡尔森:
编译和执行有限域约束的析取。 ICLP公司 1995:117-131
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BarthB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BarthB95
彼得·巴思,亚历山大·博克迈尔:
CLP（PB）中的有限域和切割平面技术。 ICLP公司 1995:133-147
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FagesFS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FagesFS95
弗朗索瓦·法赫斯,朱利安·福勒,蒂埃里·索拉:
一种反应约束逻辑编程方案。 ICLP公司 1995:149-163

数据库

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Y95元
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/YuanY95
李彦元,嘉惠游:
逻辑程序修改的一致性方法。 ICLP公司 1995:167-181
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/DekhtyarD95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/DekhtyarD95
迈克尔·德克蒂亚,亚历山大·贾。迪科夫斯基:
具有稳定行为的动态演绎数据库。 ICLP公司 1995:183-197
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/黄铜D95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BrassD95
斯特凡·布拉斯,于尔根·迪克斯:
基于部分评价和自下而上评价的虚拟语义。 ICLP公司 1995:199-213年

应用

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/周95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Zhou95
能发周:
信道路由的逻辑编程方法。 ICLP公司 1995:217-231
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SubrahmanianZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SubrahmanianZ95
V.S.Subrahmanian公司,卡洛·扎尼奥洛:
关联稳定模型和人工智能规划领域。 ICLP公司 1995:233-247
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/ShiraiH95配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ShiraiH95
白井靖,长谷龙子:
有限域约束满足问题的两种方法——CP和CMGTP。 ICLP公司 1995:249-263年

非单调推理

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CholewinskiMMT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CholewinskiMMT95
巴维尔·乔温斯基（Pawel Cholewinski）,V.威克托·马雷克,阿图尔·米基提克,米罗斯瓦·特鲁兹琴斯基:
非单调推理实验。 ICLP公司 1995:267-281
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/WakakiS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/WakakiS95
Wakaki先生,肯·佐藤:
通过逻辑编程计算优先界限。 ICLP公司 1995:283-297
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CervesatoCM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CervesatoCM95
伊利亚诺·塞韦萨托,卢卡·奇塔罗,安吉洛·蒙塔纳里:
逻辑编程框架中部分有序事件的模态演算。 ICLP公司 1995:299-313

正在编译

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CodognetD95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CodognetD95
菲利普·科多涅,丹尼尔·迪亚兹:
WAMCC：将Prolog编译为C。 ICLP公司 1995:317-331
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KrallB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KrallB95
安德烈亚斯·克雷尔,托马斯.伯杰:
用维也纳抽象机对Prolog进行增量全局编译。 ICLP公司 1995:333-347
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SagonasW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SagonasW95
康斯坦蒂诺斯·萨戈纳斯,大卫·斯科特·沃伦:
在基于WAM的Prolog实现中高效执行HiLog。 ICLP公司 1995:349-363

绑架

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ToniK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ToniK95
弗朗西丝卡·托尼,罗伯特·科瓦尔斯基:
将诱拐逻辑程序简化为普通逻辑程序。 ICLP公司 1995:367-381
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SakamaI95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SakamaI95
恰基·萨卡马,井上胜美:
部分演绎在推理中的作用。 ICLP公司 1995:383-397
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KakasM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KakasM95
安东尼斯·卡卡斯,安东尼娅·迈克尔:
整合外推和约束逻辑编程。 ICLP公司 1995:399-413

CC语言

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CodognetR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CodognetR95
菲利普·科多涅,弗朗西丝卡·罗西:
NMCC编程：CC编程中的约束强制和收回。 ICLP公司 1995:417-431
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/品牌95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Brand95
每个品牌:
CCP语言的决策图算法。 ICLP公司 1995:433-447
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/PodelskiS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PodelskiS95
安德烈亚斯·波德尔斯基,格特·斯莫尔卡:
带Coroutine的约束逻辑程序的操作语义。 ICLP公司 1995:449-463

编程技巧

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Gegg-Harrison95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Gegg-Harrison95
蒂莫西·盖格·哈里森:
在lambda-Prolog中表示逻辑程序模式。 ICLP公司 1995:467-481
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Jain95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Jain95
杰恩先生:
使用符号映射的逻辑程序投影。 ICLP公司 1995:483-496
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ChengPE95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChengPE95
螳螂H.M.Cheng,小道格拉斯·斯托特·帕克。,马滕·范·埃姆登:
一种将等式理论作为逻辑程序来实现的方法。 ICLP公司 1995:497-511

并发

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/GregoryR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GregoryR95
蒂夫-格雷戈里,拉斐尔·拉米雷斯:
Tempo：一种声明性并发编程语言。 ICLP公司 1995:第515页至第529页
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/JacquetB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/JacquetB95
Jean-Marie Jacquet女士,Koenraad De Bosschere公司:
关于编写并发逻辑过程。 ICLP公司 1995:531-545
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BarbutiFS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BarbutiFS95
罗伯托·巴布蒂,尼科莱塔·德·弗朗西斯科,安东内拉·桑通:
使用CHOCS对Prolog的OR并行执行进行建模。 ICLP公司 1995:547-561

理论

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/DegtyarevV95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/DegtyarevV95
安纳托利·德吉亚列夫,安德烈·沃伦科夫:
对具有平等性的霍恩条款的一种新的程序解释。 ICLP公司 1995:565-579
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Lifschitz95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Lifschitz95
弗拉基米尔·利夫希茨:
SLDNF，建设性否定和接地。 ICLP公司 1995:581-595
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/MartensG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MartensG95
伯恩·马滕斯,约翰·加拉赫:
确保部分扣除的全局终止，同时允许灵活的多元方差。 ICLP公司 1995:597-611

并行实现

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/PontelliGT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PontelliGT95
恩里科·蓬泰利,戈帕尔·古普塔,东兴堂:
与并行Prolog实现的确定性驱动优化。 ICLP公司 1995:615-629
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/HermenegildoGC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HermenegildoGC95
曼纽尔·埃尔梅内吉尔多,丹尼尔·卡贝萨（Daniel Cabeza Gras）,曼纽尔·卡罗:
在并发和并行逻辑编程系统的实现中使用属性变量。 ICLP公司 1995:631-645
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/HermenegildoL95文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HermenegildoL95
曼纽尔·埃尔梅内吉尔多,佩德罗·洛佩斯·加西亚:
粒度控制的有效术语大小计算。 ICLP公司 1995:647-661

程序操作

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 配置文件/icp/Hanus95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hanus95网址
迈克尔·哈纳斯:
（等式）逻辑程序设计中的额外变量。 ICLP公司 1995:665-679
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/EtalleG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/EtalleG95
桑德罗·埃塔利,毛里齐奥·加布里埃利:
模块化CLP程序的转换系统。 ICLP公司 1995:681-695
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/RamakrishnanRSSW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/RamakrishnanRSSW95
I.V.罗摩克里希南,普拉萨德·拉奥,康斯坦蒂诺斯·萨戈纳斯,Terrance Swift公司,大卫·斯科特·沃伦:
逻辑程序的高效制表机制。 ICLP公司 1995:697-711年

新形式主义

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Sato95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Sato95
佐藤大辅:
具有分布语义的逻辑程序的统计学习方法。 ICLP公司 1995:715-729
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/戈文达拉扬JM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GovindarajanJM95
坎南·戈文达拉詹,巴拉特·贾亚拉曼,苏里亚·曼塔:
首选逻辑编程。 ICLP公司 1995:731-745
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BoyeM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BoyeM95
约翰·博伊,扬·马卢辛斯基（Jan Maluszynski）:
定向类型的两个方面。 ICLP公司 1995:747-761

项目分析

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Beierle95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Beierle95
克里斯托夫·贝尔:
多态序排序逻辑程序的类型推理。 ICLP公司 1995:765-779
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/MulkersSBB95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MulkersSJB95
安妮·穆克斯,维姆·西蒙斯,格尔达·詹森,莫里斯·布吕诺格:
抽象方程组的实用性。 ICLP公司 1995:781-795
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/HermenegildoPMS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HermenegildoPMS95
曼纽尔·埃尔梅内吉尔多,杰曼·普埃布拉,金·马里奥特,彼得·J·斯塔基:
逻辑程序的增量分析。 ICLP公司 1995:797-811

海报摘要

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 配置文件/icp/Ccekli95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Cicekli95
伊利亚斯·奇切克利:
智能回溯模式中的浅回溯点。 ICLP公司 1995:815
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/豪斯曼95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hausman95
博古米尔·豪斯曼:
Erlang BEAM中的混合实现技术。 ICLP公司 1995:816
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Fung95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Fung95
T.H.Fung先生:
克拉克完成绑架。 ICLP公司 1995:817
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Hirata95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hirata95
Keiji Hirata先生:
证明模平坦GHC到Pi-Calculus的转换的正确性。 ICLP公司 1995:818
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FormicaMT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FormicaMT95
安娜·福米卡,米歇尔·米西科夫,罗伯托·特伦齐:
检查面向对象数据库模式可满足性的定理证明器。 ICLP公司 1995:819
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ShimajiriSI95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ShimajiriSI95
Yuka Shimajiri公司,Hirohisa Seki先生,伊藤秀内里:
在析取逻辑数据库中使查询处理目标指向。 ICLP公司 1995:820
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/NilssonTW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NilssonTW95
汉斯·尼尔森,托比约恩·特恩克维斯特,克莱斯·维克斯特伦:
遗忘症-一种带有演绎查询语言的分布式实时主存数据库管理系统。 ICLP公司 1995:821
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/IsozakiK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/IsozakiK95
Hideki Isozaki先生,丰田博文:
基于事务执行路径估计的事务逻辑程序转换。 ICLP公司 1995:822
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/TanL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/TanL95
鸡场滩,I-Peng Lin（林鹏）:
逻辑程序的类型综合。 ICLP公司 1995:823
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/GuptaCP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GuptaCP95
戈帕尔·古普塔,维托尔·桑托斯·科斯塔,恩里科·蓬泰利:
共享分页绑定数组：用于并行逻辑编程的通用数据结构。 ICLP公司 1995:824
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ZhaoCU95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ZhaoCU95
赵建军,景德成,臼岛和夫:
并发逻辑程序的程序依赖性分析及其应用。 ICLP公司 1995:825
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/PodelskiS95a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PodelskiS95a
安德烈亚斯·波德尔斯基,格特·斯莫尔卡:
情境简化。 ICLP公司 1995:826
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/NilssonH95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NilssonH95
约根·菲舍尔·尼尔森,安德烈亚斯·哈姆费尔特:
用高阶谓词构造逻辑程序。 ICLP公司 1995:827
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SahlinS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SahlinS95
丹·萨林,托马斯·舍兰:
并发约束语言分析器。 ICLP公司 1995:828
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/莫雷诺-纳瓦罗95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Moreno-Navarro95
胡安·何塞·莫雷诺-纳瓦罗:
元组继承：一种新的（约束）逻辑编程继承。 ICLP公司 1995:829
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BarklundDCL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BarklundDCL95
乔纳斯·巴克隆德,皮耶朗基罗·德尔·阿夸,斯蒂芬妮娅·科斯坦蒂尼,盖塔诺·奥雷利奥·兰扎隆:
带反射的SLD-Resolution的语义属性。 ICLP公司 1995:830

服务

管理网站设置

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