Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Paperback(2007)

$112.82 $139.00 Save 19% Current price is $112.82, Original price is $139. You Save 19%.
Eligible for FREE SHIPPING
  • Get it by Friday, October 20 ,  Order by 12:00 PM Eastern and choose Expedited Delivery during checkout.

Overview

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings by Nachum Dershowitz

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. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully 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.

Product Details

ISBN-13: 9783540755586
Publisher: Springer Berlin Heidelberg
Publication date: 12/12/2007
Series: Lecture Notes in Computer Science Series , #4790
Edition description: 2007
Pages: 564
Product dimensions: 6.10(w) x 9.25(h) x 0.05(d)

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews