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
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● ISBN 9783662488997 ● บรรณาธิการ Martin Davis & Ansgar Fehnker ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2015 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6348943 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM
หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ
16,592 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้
