Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues)

by Andrei Voronkov (Editor), NikolajBjørner (Editor)

• New

  Paperback
  2012

  $74.10

  This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.