Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /

Lignende værker

• Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
  af: Michel Parigot, Andrei Voronkov
  Udgivet: (2000, c2000)
• 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 : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /
  af: Geoff Sutcliffe, Andrei Voronkov
  Udgivet: (2005, c2005)
• Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
  af: Moshe Y. Vardi, Andrei Voronkov
  Udgivet: (2003, c2003)
• 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)