机读格式显示(MARC)

• 000 01934nam 2200361 450

• 001 0000231871

• 005 20230721203200.0

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

• 100 __ |a 20211102d2021 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 Micheael 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 本书中文简体版权经由锐拓传媒取得 本书中文简体字版由美国摩根&克莱普尔出版公司通过锐拓传媒授权机械工业出版社独家出版

• 314 __ |a 迈克尔·吉内塞雷斯, 斯坦福大学计算机科学系和法学院的教授。维奈·K. 乔杜里, 前SRI international人工智能中心项目主管。

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

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

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

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

• 801 _0 |a CN |b 湖北三新 |c 20211102

• 905 __ |a GDPTC |d TP273/176