1989年。卷。353年:美国Holldobler平均分的逻辑编程的基础。X, 250页。1989年。卷。383:h .田中t . k . Furukawa先生藤崎(Eds)。,逻辑编程”88年。学报,1988。第九,251页。1989年。
作者:Koichi古
出版者:施普林格科学与商业媒体
国际标准图书编号:354051564 x
类别:电脑
页面:268年
观点:563年
本卷包含一个选择的论文发表于第七逻辑编程会议发生在东京,1988年4月11日至14日。是继任者之前的会议论文集作为计算机科学课堂讲稿卷221年出版,264年和315年。这本书涵盖了各个方面的逻辑编程基础等编程语言/系统中,并发编程,知识库,应用计算机辅助推理和自然语言处理。论文基金会“缩小”,目前的理论结果证明证明战略属性的Prolog程序基于无感应的感应和非单调推理的几个问题。数学家们特别感兴趣的是关于计算机辅助推理,它描述了一个协助人类推理系统。自然语言应用论文对待日本句子的词法分析,系统生成一个给定的句子总结和新的知识表示形式适合代表扩展框架系统的动态行为。1988年。卷。306:m . Boscarol l·卡卢奇Aiello g·列维(Eds)。、基金会的逻辑和功能编程。学报,1986。V, 218页。1988年。卷。307:Th。贝思·m·克劳森(Eds)。,适用的代数…
作者:1月格拉博夫斯基
出版者:施普林格科学与商业媒体
国际标准图书编号:3540506675
类别:电脑
页面:284年
观点:305年
本卷包含了第一届国际研讨会论文集在代数和逻辑编程Gaussig举行(德意志民主共和国)于11月14日至18日,1988年。研讨会致力于代数编程,编程的感觉通过代数规格和重写规则系统,和逻辑编程,在角条款规范和解决系统。这包括代数/逻辑编程系统相结合,相互关系和相互实现的编程范式,完整性和效率考虑在这两个领域,以及相关的话题。4计算机协会在逻辑编程旧金山,87年9月,页69 - 79HAU88b·豪斯曼,A . CIEPIELEWSKI CALDERWOOD:“削减和副作用或- Prolog并行”,第五代计算机的88年11月- 12月88年(HAU90),页831 - 840 b·豪斯曼……
作者:安东尼•博蒙特
出版者:施普林格科学与商业媒体
国际标准图书编号:3540550380
类别:电脑
页面:212年
观点:428年
编写的程序的逻辑编程是指执行角逻辑。这种编程风格的优势之一是它的简单declarativeand程序语义,高表达能力和固有的非确定性。文件包含在本卷在研讨会上提出了并行逻辑编程在巴黎召开6月24日,1991年,作为第八届国际会议的一部分逻辑编程。论文代表了最先进的并行逻辑编程,并报告当前在这一领域的研究,包括许多新的结果。逻辑程序的并行执行的三个基本问题,论文地址是:——形式(s)的并行度(or-parallelism和并行性,流并行性、数据并行处理等)将利用?——并行性会明确编程的程序员,还是会被利用隐式没有他们的帮助吗?——目标并行体系结构的逻辑程序(s)上运行?(坎普88年坎普,D.B. cooper和以R.W. Topor;“自顶向下查询的完整性评估程序分层数据库”,在:Proc。第五Int。Connf和电脑。在逻辑编程美国西雅图,8月。88年。84年Kers Kerschberg, l . (ed);Proc。
作者:斯特凡诺切里
出版者:施普林格科学与商业媒体
国际标准图书编号:9783642839528
类别:电脑
页面:284年
观点:241年
逻辑编程和数据库的主题。近年来获得了对压痕。几个事件标志着这一领域的快速发展:选择,日本第五代项目的Prolog和关系数据模型为基础的发展新机器archi tectures;研究集中在数据库理论逻辑查询和递归查询处理;和务实、面向应用的专家数据库系统和知识库系统的开发。结果,产生大量的工作已经在最近的文献,再加上几个先进项目的自然增长。这本书的目的是提出一个系统的概述一个快速发展的学科,目前不能用同样的方法在其他书中描述。我们打算把学生和研究人员介绍给这个新纪律;因此我们使用一个平原,教程风格,和补充的描述算法的例子和练习。我们尝试实现一种平衡是渐变的理论基础和技术问题; thus we present a careful introduction to the new language Datalog, but we also focus on the efficient interfacing of logic programming formalisms (such as Prolog and Datalog) with large databases.凯德的88年,1988年。j·麦卡锡。项目与常识。Proc。特丁顿Conf.机械化的思想……33-60,1988年。j .貂编辑器。演绎数据库和的基础逻辑编程。摩根·考夫曼1988年。
作者:罗伯特·科瓦尔斯基
出版者:施普林格科学与商业媒体
国际标准图书编号:9783540439592
类别:电脑
页面:688年
观点:495年
这本书包含了美国12日欧洲睾丸车间,给了一个很好的概述在睾丸的艺术研究。写的章节是男性生殖领域的顶尖科学家,他们彼此相见的基础上他们的特定的研究领域。这本书涵盖了所有重要的方面睾丸功能,例如,滋养和睾丸间质细胞功能,精原开发和移植,减数分裂和精子形成。即使对那些调查人员没有出席研讨会,这本书提供了一个清晰的印象,会议期间讨论的话题。二车间在计算机科学逻辑,杜伊斯堡,德意志联邦共和国,10月3 - 7,1988年。诉讼信息大多风满楼,汉斯Kleine发髻,迈克尔·m·里克特。引用1科瓦尔斯基,R。逻辑编程。报告,部门计算,帝国……
作者:大多风满楼
出版者:施普林格科学与商业媒体
国际标准图书编号:354051659 x
类别:电脑
页面:412年
观点:768年
该卷包含在第二个研讨会的论文提出了“计算机科学逻辑”在杜伊斯堡举行,德意志联邦共和国,1988年10月3 - 7,。这些程序涵盖范围广泛的主题都从理论和应用的计算机科学领域。更具体地说,文件处理出现的问题在逻辑和计算机科学的边界:例如在复杂性、数据库理论、逻辑编程,人工智能,和并发性。体积应该感兴趣的所有逻辑学家和计算机科学家在上述领域的合作。(McC88al·t·麦卡蒂。子句的直观的逻辑我不动点语义。杂志逻辑编程5:日至31日,1988年。(McC88bl·t·麦卡蒂。第二条款的直观的逻辑。表证明过程。
作者:罗伊•迪克霍夫头
出版者:施普林格科学与商业媒体
国际标准图书编号:3540580255
类别:电脑
页面:376年
观点:437年
本卷中的文件扩展版本的演示在第四国际研讨会上扩展的逻辑编程,圣安德鲁斯大学举行,1993年3月/ 4月。中主题的体积是:defintional反射和完成,在lambda-Prolog模块,表示逻辑的部分归纳定义、非过程化逻辑编程,知识表示,避免矛盾,析取数据库、强烈的否定,线性逻辑编程,证据理论和常规搜索空间,有限集和约束逻辑编程,搜索空间修剪和通用代数,实现晶片机网络。(90年安德烈奥利)J.M.安德烈奥利& r . Pareschi“线性对象:逻辑过程与内装式继承”,在9日会议逻辑编程,耶路撒冷,以色列,1990。(康拉德88年赤道)t·康拉德,”:许多-排序…
作者:1月Maluszynski
出版者:施普林格科学与商业媒体
国际标准图书编号:3540544445
类别:电脑
页面:452年
观点:556年
本卷包含演讲的论文已被接受在第三国际研讨会上编程语言实现andLogic编程(PLILP ' 91)在帕骚举行,德国8月26 - 28日期间,1991年。研讨会的目的是为了探索新的陈述性的概念,方法和技术相关的各种编程语言的实现,算法或声明性的。目的是收集算法编程语言领域的研究人员以及逻辑功能和面向对象编程。这卷包含两个邀请谈判在《会饮篇》通过h . Ait-Kaci和D.B. cooper MacQueen, 32所选论文和摘要的几个系统演示。88和PLILP PLILP学报》90年计算机科学作为课堂讲稿提供卷348年和456年。343:j·格拉博夫斯基,p . Lescanne w . Wechler (Eds)。、代数和逻辑编程。诉讼中,1988年。278页。1988年。卷。344:j . van Leeuwen图-理论计算机科学概念。诉讼中,1988年。
作者:安东尼Kreczmar
出版者:施普林格科学与商业媒体
国际标准图书编号:3540523251
类别:电脑
页面:150年
观点:116年
逻语88年属于面向对象编程语言的家庭。它包含了所有已知重要工具和OOP的特点,即类、对象、继承、协同程序排序,但并没有摆脱传统的命令式编程:原始类型不需要对象;记录、静态数组、子类型和其他类似contructs承认。逻语已非传统的内存模型接受程序回收,但避免晃来晃去的参考。逻语语义模型提供了多层次的继承,这与模块嵌套妥善配合。在逻语有一个面向对象的本质并行性。过程当作对象的类和之间的通信过程是由外星人调用类似于远程调用。