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

Lignende værker

• Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
  af: Matthias Baaz, Andrei Voronkov
  Udgivet: (2002, c2002)
• Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
  af: Christian G. Fermüller, Andrei Voronkov
  Udgivet: (2010, c2010)
• Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /
  af: Ken McMillan, Aart Middeldorp, Andrei Voronkov
  Udgivet: (2013, c2013)
• Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
  af: Nikolaj Bjørner, Andrei Voronkov
  Udgivet: (2012, c2012)
• Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
  af: Franz Baader, Andrei Voronkov
  Udgivet: (2005, c2005)