Logic for Programming, Artificial Intelligence, and Reasoning

逻辑编程、人工智能与推理:2015 第20届国际会议 / 会议录(丛书)

计算机软件

售   价:
442.00
出  版 社
出版时间
2015年12月15日
装      帧
平装
ISBN
9783662488980
复制
页      码
640
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个