Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Documents similaires

• Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /
  par: Nachum Dershowitz, Andrei Voronkov
  Publié: (2007)
• Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
  par: Nikolaj Bjørner, Andrei Voronkov
  Publié: (2012)
• Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
  par: Miki Hermann, Andrei Voronkov
  Publié: (2006)
• Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
  par: Moshe Y. Vardi, Andrei Voronkov
  Publié: (2003)
• Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
  par: Christian G. Fermüller, Andrei Voronkov
  Publié: (2010)