| ISBN/价格： | 978-7-111-69181-5:CNY79.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 逻辑编程导论/.(美)迈克尔·吉内塞雷斯(Michael Genesereth)，(美)维奈·K.乔杜里(Vinay K. Chaudhri)著/.徐坚[等]译 |
|---|
| 出版发行项： | 北京:,机械工业出版社:,2021.10 |
|---|
| 载体形态项： | 183页:;+图:;+26cm |
|---|
| 丛编项： | 计算机科学丛书 |
|---|
| 提要文摘： | 本书向读者介绍了传统逻辑编程的基本原理，阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义，而不是传统的“证据-理论”方法，并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题，引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。 |
|---|
| 并列题名： | Introduction to logic programming eng |
|---|
| 题名主题： | 逻辑控制 程序设计 |
|---|
| 中图分类： | TP273 |
|---|
| 个人名称等同： | 吉内塞雷斯 迈克尔 (美) 著 |
|---|
| 个人名称等同： | 乔杜里 维奈 (美) 著 |
|---|
| 个人名称次要： | 徐坚 译 |
|---|
| 记录来源： | CN 人天书店 20211104 |
|---|