Editors: Nachum Dershowitz and Andrei Voronkov
Paperback: 562 pages
Publisher: Springer; 1 edition (December 12, 2007)
Language: English
ISBN-10: 3540755586
ISBN-13: 978-3540755586
Format: pdf
Details:
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
------------------------------
Download
------------------------------
Paperback: 562 pages
Publisher: Springer; 1 edition (December 12, 2007)
Language: English
ISBN-10: 3540755586
ISBN-13: 978-3540755586
Format: pdf
Details:
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
------------------------------
Download
------------------------------
Aucun commentaire:
Enregistrer un commentaire