机读格式显示(MARC)

• 000 01758nam 2200361 450

• 001 0001226933

• 005 20230418124200.0

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

• 100 __ |a 20211021d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 逻辑编程导论 |A Luo Ji Bian Cheng Dao Lun |f (美) 迈克尔·吉内塞雷斯, 维奈·K. 乔杜里著 |d = Introduction to logic programming |f Michael Genesereth, Vinay K. Chaudhri |g 徐坚 ... [等] 译 |z eng

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

• 215 __ |a 183页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu

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

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

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

• 320 __ |a 有书目 (第182-183页)

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

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

• 500 10 |a Introduction to logic programming |A Introduction to logic programming |m Chinese

• 606 0_ |a 逻辑控制 |A Luo Ji Kong Zhi |x 程序设计

• 690 __ |a TP273 |v 5

• 701 _1 |a 吉内塞雷斯 |A Ji Nei Sai Lei Si |g (Genesereth, Michael) |4 著

• 701 _1 |a 乔杜里 |A Qiao Du Li |g (Chaudhri, Vinay K.) |4 著

• 702 _0 |a 徐坚 |A Xu Jian |4 译

• 702 _0 |a 甘健侯 |A Gan Jian Hou |4 译

• 702 _0 |a 孟祥栋 |A Meng Xiang Dong |4 译

• 801 _0 |a CN |b ZPHC |c 20211021

• 905 __ |a ZPHC |d TP273/305