机读格式显示(MARC)

• 000 01699nam 2200349 450

• 001 0000495819

• 005 20230117162700.0

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

• 100 __ |a 20211025d2021 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 legic programming |f Michael Genesereth, Vinay K. Chaudhri |g 徐坚 ... [等] 译 |z eng

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

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

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

• 304 __ |a 题名页题其余译者：甘健侯, 孟祥栋, 刘付依萍, 欧阳昭相

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

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

• 330 __ |a 本书向读者介绍了传统逻辑编程的基本原理，阐明了使用该技术为复杂系统创建可运行规范的益处。书中集合了作者30多年来在学术和商业环境中的研究、应用和教学的成果。本书采用“模型-理论”的方法阐述语义，而不是传统的“证据-理论”方法，并同时关注数据集的改变与逻辑代理的状态。多数章节之后附有习题，引领读者由易到难、由浅入深地通过练习和实践的方式掌握逻辑编程方法。

• 333 __ |a 本书适合计算机专业的本科生、低年级研究生以及对计算机感兴趣的中学生和开发者阅读。

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

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

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

• 690 __ |a TP273 |v 5

• 690 __ |a TP |v 4

• 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 著

• 801 _0 |a CN |b 江苏新华 |c 20211018

• 905 __ |a JN |d TP/57GL

• 920 __ |a 211100 |z 1