Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 下载 网盘 kindle mobi 115盘 pdf pdb rtf

Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年电子书下载地址
- 文件名
- [epub 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 epub格式电子书
- [azw3 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 azw3格式电子书
- [pdf 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 pdf格式电子书
- [txt 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 txt格式电子书
- [mobi 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 mobi格式电子书
- [word 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 word格式电子书
- [kindle 下载] Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年 kindle格式电子书
内容简介:
This book presents a unique state-of-the-art survey on progress in the field of program development making use of computational logic. The motivating idea behind this approach is the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as imperative paradigms.
Closely related to the international workshop and symposium series "Logic Program Synthesis and Transformation", later renamed "Program Development in Computational Logic", this book presents 15 carefully selected and reviewed articles and surveys by leading researchers in the area. The contributions are grouped in sections on specification and synthesis, semantics, analysis, transformation and specialization, termination, and systems.
书籍目录:
Specification and Synthesis
Specifying Compositional Units for Correct Program Development in Computational Logic
Synthesis of Programs in Computational Logic
Developing Logic Programs from Specifications Using Stepwise Refinement
Semantics
Declarative Semantics of Input Consuming Logic Programs
On the Semantics of Logic Program Composition
Analysis
Analysing Logic Programs by Reasoning Backwards
Binding Time Analysis for Mercury
A Generic Framework for Context-Sensitive Analysis of Modular Programs
Transformation and Specialisation
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems
Transformation Rules for Locally Stratified Constraint Logic Programs
Specialising Interpreters Using Offiine Partial Deduction
Termination
Characterisations of Termination in Logic Programming
On the Inference of Natural Level Mappings
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
Systems
Herbrand Constraint Solving in HAL
Author Index
作者介绍:
暂无相关内容,正在全力查找中
出版社信息:
暂无出版社相关信息,正在全力查找中!
书籍摘录:
暂无相关书籍摘录,正在全力查找中!
在线阅读/听书/购买/PDF下载地址:
原文赏析:
暂无原文赏析,正在全力查找中!
其它内容:
暂无其它内容!
网站评分
书籍多样性:5分
书籍信息完全性:4分
网站更新速度:5分
使用便利性:5分
书籍清晰度:3分
书籍格式兼容性:5分
是否包含广告:9分
加载速度:6分
安全性:3分
稳定性:8分
搜索功能:9分
下载便捷性:8分
下载点评
- 一星好评(257+)
- 无水印(503+)
- 体验还行(325+)
- 傻瓜式服务(485+)
- 可以购买(397+)
- 无漏页(291+)
- 在线转格式(452+)
下载评价
- 网友 菱***兰:
特好。有好多书
- 网友 孙***美:
加油!支持一下!不错,好用。大家可以去试一下哦
- 网友 屠***好:
还行吧。
- 网友 丁***菱:
好好好好好好好好好好好好好好好好好好好好好好好好好
- 网友 谭***然:
如果不要钱就好了
- 网友 师***怀:
好是好,要是能免费下就好了
- 网友 宓***莉:
不仅速度快,而且内容无盗版痕迹。
- 网友 戈***玉:
特别棒
- 网友 郗***兰:
网站体验不错
- 网友 焦***山:
不错。。。。。
- 网友 詹***萍:
好评的,这是自己一直选择的下载书的网站
- 网友 冯***卉:
听说内置一千多万的书籍,不知道真假的
- 网友 田***珊:
可以就是有些书搜不到
喜欢"Program Development in Computational Logic计算逻辑的程序开发:基于逻辑的程序开发研究进展10年"的人也看了
高中思想政治(选择性必修1RJ)/教材解读与拓展 下载 网盘 kindle mobi 115盘 pdf pdb rtf
名侦探柯南(73卷) 下载 网盘 kindle mobi 115盘 pdf pdb rtf
中国营销战实录——令人拍案叫绝的营销真案例 下载 网盘 kindle mobi 115盘 pdf pdb rtf
热力学函数温度系数手册 下载 网盘 kindle mobi 115盘 pdf pdb rtf
备考2023 自考教材 00384 学前心理学 0384 自考 2000年版 陈帼眉 北京师范大学出版社 下载 网盘 kindle mobi 115盘 pdf pdb rtf
高考志愿填报指南:高校简介及录取分数线速查(2020年版) 下载 网盘 kindle mobi 115盘 pdf pdb rtf
名侦探柯南58 下载 网盘 kindle mobi 115盘 pdf pdb rtf
西藏经济增长问题研究 下载 网盘 kindle mobi 115盘 pdf pdb rtf
四书五经全套正版 原文注释译文文白对照 国学经典 孟子大学中庸论语诗经礼记周易尚书春秋古书老子孔子 非:四书五经 中华书局 四书五经 中华书局 全本全注全译 中华书局 四书五经 下载 网盘 kindle mobi 115盘 pdf pdb rtf
微生物大图鉴--有好有坏的细菌 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 看见巴西:经典影像案例中的巴西研究 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 七年级的课外书籍 朝花夕拾鲁迅西游记原著正版镜花缘书籍李汝珍白洋淀纪事孙犁湘行散记沈从文猎人笔记屠格涅夫课外阅读书籍 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 皇家赌城——看懂摩纳哥 北京大学旗舰店正版 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 中公版2013湖南公务员考试-公共基础知识 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 2016 100分天天学小学数学弱项强化训练:三年级下 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 全国公共英语等级考试一级听力会话 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 审计专业相关知识考点 真题 预测全攻略 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 全套4册四库全书正版精装文白对照白话版完整无删减资质通鉴文库中华书局史记知识读物国学历史类书籍书中国通史 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 中国人物画史 下载 网盘 kindle mobi 115盘 pdf pdb rtf
- 网络新闻业与跨文化传播 下载 网盘 kindle mobi 115盘 pdf pdb rtf
书籍真实打分
故事情节:9分
人物塑造:4分
主题深度:7分
文字风格:6分
语言运用:6分
文笔流畅:4分
思想传递:5分
知识深度:5分
知识广度:9分
实用性:5分
章节划分:9分
结构布局:9分
新颖与独特:5分
情感共鸣:8分
引人入胜:9分
现实相关:9分
沉浸感:3分
事实准确性:5分
文化贡献:9分