Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers /

Схожие документы

• Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
  по: Christian G. Fermüller, Andrei Voronkov
  Опубликовано: (2010)
• Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /
  по: Nachum Dershowitz, Andrei Voronkov
  Опубликовано: (2007)
• Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
  по: Matthias Baaz, Andrei Voronkov
  Опубликовано: (2002)
• Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
  по: Robert Nieuwenhuis, Andrei Voronkov
  Опубликовано: (2001)
• Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
  по: Franz Baader, Andrei Voronkov
  Опубликовано: (2005)