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的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1584695
215846958
自科库301/301自科库 41排6列4层/
[索取号:TP273/M2681]
在馆
