《 声明式逻辑编程：理论、系统和应用 》
- 计算机编程
- 选题分类：程序设计
- 原版语种：英语（可提供图书翻译服务）
- 出版日期：2018年09月
- 页数：615页
- 图书定价：（不详）
- 开本：190mm×234mm
- 浏览次数：655
- 字数：（不详）
- 作品星级：
- 内文印刷：（不详）
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
内容简介
本书旨在，通过对逻辑编程关键方面的最新调查来填补文献中的空白。也有很多的关注使得研究人员、实践者和研究生可以获取这些调查。
作者介绍
迈克尔•基弗是美国石溪大学计算机科学系的教授。1976年，他在俄罗斯莫斯科罗蒙诺索夫国立大学获得数学硕士学位，1984年，他在以色列耶路撒冷希伯来大学获得计算机科学博士学位。自2012年以来，基弗博士一直担任规则与推理协会(RRA)主席。他的工作涉及知识呈现和推理(KRR)、逻辑编程、Web信息系统和数据库等领域。他在这些领域发表了四本教科书和大量文章，并与他人共同发明了F-logic、HiLog、注释逻辑和事务逻辑，这些都是计算机科学和语义Web研究领域引用最广泛的著作。他获得了大量的奖项。
刘艳红
石溪大学计算机科学教授。她在北京大学获得学士学位，清华大学获得硕士学位，康奈尔大获得博士学位，都是修的计算机科学专业。她的主要研究领域是语言和算法，尤其是以渐进化为中心的系统设计和优化；微积分中微分的离散对等物。她目前的研究重点是安全分布式编程和说明式系统规范的语言和高效安装启用。她在许多著名的刊物上发表过论文，在广泛的计算机科学领域授课，在全世界举办了100多场会议和邀请演讲。她的奖项包括纽约州立大学校长奖学金和创意活动优秀奖。
图书目录
理论
1. 数据记录历史
2．稳定的、有充分根据的逻辑编程语义学入门
3. 概率编程调查
系统
4. 每个人可用的无线接入管理器：逻辑编程的虚拟机
5. 谓词逻辑作为建模语言：IDP系统
6. 解算机：数据记录中的代数建模
应用
7. 探索生命：生物信息学的答案集编程
8. 状态空间搜索与表列逻辑编程
9. （表格式和约束式）逻辑编程的自然语言处理
10. 逻辑编程应用程序:抽象和安装启用是什么?
请输入分享的Email地址：
