书目信息 |
| 题名： |
逻辑编程导论
|
|
| 作者： | 吉内塞雷斯 ， 乔杜里 著 ；徐坚 ， 甘健侯 ， 孟祥栋 ， 刘付依萍 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021 |
|
| 页数： | 183页 | |
| 开本： | 26cm | |
| 丛书名： | 计算机科学丛书 | |
| 单 册： | ||
| 中图分类： | TP273 | |
| 科图分类： | ||
| 主题词： | 逻辑控制--luo ji kong zhi--程序设计 | |
| 电子资源： | ||
| ISBN： | 978-7-111-69181-5 | |
| 000 | 01738oam2 2200361 450 | |
| 001 | 011025150604 | |
| 005 | 20221025150604.0 | |
| 010 | @a978-7-111-69181-5@dCNY79.00 | |
| 100 | @a20201004d2021 em y0chiy0120 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @ay z 000yy | |
| 106 | @ar | |
| 200 | 1 | @a逻辑编程导论@Aluo ji bian cheng dao lun@dIntroduction to logic programming@f(美) 迈克尔·吉内塞雷斯(Michael Genesereth) , (美) 维奈·K. 乔杜里(Vinay K. Chaudhri) 著@g徐坚等译@zeng |
| 210 | @a北京@c机械工业出版社@d2021 | |
| 215 | @a183页@d26cm | |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 300 | @a华章教育斯坦福大学逻辑编程公开课(CS151)教材涵盖基本原理及流行应用 | |
| 304 | @a译者还有:甘健侯、孟祥栋、刘付依萍、欧阳昭相 | |
| 305 | @a美国摩根&克莱普尔出版公司通过锐拓传媒授权出版 | |
| 330 | @a本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始，沿着这一基本概念，引入视图(即虚拟关系)，将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。 | |
| 410 | 0 | @12001 @a计算机科学丛书 |
| 510 | 1 | @aIntroduction to logic programming@zeng |
| 606 | 0 | @a逻辑控制@Aluo ji kong zhi@x程序设计 |
| 690 | @aTP273@v5 | |
| 701 | 1 | @c(美)@a吉内塞雷斯@Aji nei sai lei si@gGenesereth, Michael@4著 |
| 701 | 1 | @c(美)@a乔杜里@Aqiao du li@gChaudhri, Vinay K.@4著 |
| 702 | 0 | @a徐坚@Axu jian@4译 |
| 702 | 0 | @a甘健侯@Agan jian hou@4译 |
| 702 | 0 | @a孟祥栋@Ameng xiang dong@4译 |
| 702 | 0 | @a刘付依萍@Aliu fu yi ping@4译 |
| 801 | 0 | @aCN@c20221025 |
| 905 | @a河南城建学院图书馆@dTP273@eM2681 | |
| 逻辑编程导论=Introduction to logic programming/(美) 迈克尔·吉内塞雷斯(Michael Genesereth) , (美) 维奈·K. 乔杜里(Vinay K. Chaudhri) 著/徐坚等译.-北京：机械工业出版社，2021 |
| 183页；26cm.-(计算机科学丛书) |
| 华章教育斯坦福大学逻辑编程公开课(CS151)教材涵盖基本原理及流行应用 |
| ISBN 978-7-111-69181-5：CNY79.00 |
| 本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始，沿着这一基本概念，引入视图(即虚拟关系)，将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。 |
| ● |
| 相关链接 |
|
|
|
正题名：逻辑编程导论
索取号：TP273/M2681
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1584695 | 215846958 | 自科库301/301自科库 41排6列4层/ [索取号:TP273/M2681] | 在馆 |