关于这本书
介绍
这本书Celebrathe 25周年纪念Gulp-The Italian AssociaseFor LogicProgramming.Athreame的研究人员的主导地位,它提出了对逻辑编程的广泛主题集合的最新调查,使其成为两者的有用参考研究人员和学生。在25年的生存期间,GULP组织了各种国家和国际活动,包括两个会议和暑期学校。通过为GULP活动提供奖学金并授予尊敬的分散,它一直专注于支持和鼓励年轻的研究人员。Weintheinternationallogicprogrammingcommunitylookupongulpwith嫉妒,钦佩和感恩。我们很高兴参加其会议和暑期学校,在那里我们可以了解Scienti?C的进步,赶上老朋友,见到年轻学生。我很荣幸承认我们对普拉斯的杰出贡献的感谢,并表达了我们未来继续繁荣的良好祝福。2010年3月1985年6月18日伦敦艺术学院伦敦序言,一群开创性的研究人员,包括来自行业,国家研究实验室和学术界的代表,参加了逻辑编程(GULP)协会的研究人员和用户组成部分。这是科学长期冒险的起点,1我们仍然遇到25年后。此卷庆祝这一重要事件。
关键词
约束
调试
扩大
代理人
回答套装
自动定理证明
并发逻辑编程
数据库
知识
逻辑
多功能系统
非单调推理
计划转换
编程
确认
编辑和隶属关系
书目信息
- 书名关于逻辑编程的25年的视角
- 书副标题意大利逻辑编程协会的成就,GULP
- 编辑Agostino Dovier.
Enrico Pontelli. - 系列标题计算机科学讲义
- 迪伊https://doi.org/10.1007/978-3-642-14309-0
- 版权信息beplay登入Springer-Verlag Berlin Heidelberg2010年
- 出版商名称beplay登入Springer,柏林,海德堡
- 电子书包计算机科学计算机科学(R0)
- Softcover Isbn.978-3-642-14308-3
- 电子书ISBN.978-3-642-14309-0
- Series Issn.0302-9743
- 系列电子版1611-3349.
- 版号码1
- 页数XIV,329.
- 插图的数量21 B / W插图,0个颜色图示
- 话题软件工程/编程和操作系统
数学逻辑和正式语言
程序的逻辑和含义
编程技术
计算数学
计算理论 - 在出版商网站上购买本书
评论
来自评论:
“章节评论了当前兴趣的逻辑编程(LP)主题,在过去25年中取得的进展,特别关注意大利研究人员的成就。......每个章节都提供指定区域的未来研究。章节写得很好,统一的风格对于这类书来说是不寻常的。这本书应该感兴趣的是经验丰富的研究人员以及新手。......每个章节结束时的参考列表应特别有用。“(D. Bollman,ACM计算评论,2011年4月)