Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... / Lecture Notes in Artificial Intelligence)

by NachumDershowitz (Editor), Andrei Voronkov (Editor)

• New

  Paperback
  2007

  $104.88

  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.