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 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. 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, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.
€57.64
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783662488997 ● 编辑 Martin Davis & Ansgar Fehnker ● 出版者 Springer Berlin Heidelberg ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 6348943 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
16,592 此类电子书
