机读格式显示(MARC)

• 000 01629oam2 2200337 450

• 001 0000838869

• 005 20220923130400.0

• 010 __ |a 978-7-111-69181-5 |d CNY79.00

• 100 __ |a 20211020d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 逻辑编程导论 |A luo ji bian cheng dao lun |d Introduction to logic programming |f (美)迈克尔·吉内塞雷斯(Michael Genesereth)，(美)维奈·K. 乔杜里(Vinay K. Chaudhri)著 |g 徐坚[等]译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2021

• 215 __ |a 183页 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 300 __ |a 华章教育 斯坦福大学逻辑编程公开课（CS151）教材 涵盖基本原理及流行应用

• 304 __ |a 译者还有：甘健侯、孟祥栋、刘付依萍、欧阳昭相

• 305 __ |a 美国摩根&克莱普尔出版公司通过锐拓传媒授权出版

• 330 __ |a 本书介绍了逻辑编程理论、当前技术和流行的应用程序。本书采用一种创新的模型论进行逻辑编程。从数据集的基本概念(即基本原子集)开始，沿着这一基本概念，引入视图(即虚拟关系)，将经典逻辑程序定义为视图定义集，使用传统的类似于Prolog的表示法编写，但语义是根据数据集而不是根据实现方式给出。然后介绍一些基本原子操作，如“添加”和“删除”，将动态逻辑程序定义为一组动作定义集。

• 461 _0 |1 2001 |a 计算机科学丛书

• 510 1_ |a Introduction to logic programming |z eng

• 606 0_ |a 逻辑控制 |A luo ji kong zhi |x 程序设计

• 690 __ |a TP273 |v 5

• 701 _0 |c (美) |a 吉内塞雷斯 |A ji nei sai lei si |c (Genesereth, Michael) |4 著

• 701 _0 |c (美) |a 乔杜里 |A qiao du li |c (Chaudhri, Vinay K.) |4 著

• 702 _0 |a 徐坚 |A xu jian |4 译

• 801 _0 |a CN |b HDUL |c 20211112

• 905 __ |a HDUL |d TP273/4434

• 920 __ |a 233030 |z 1