Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Documenti analoghi

• Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /
  di: Nachum Dershowitz, Andrei Voronkov
  Pubblicazione: (2007, c2007)
• Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
  di: Robert Nieuwenhuis, Andrei Voronkov
  Pubblicazione: (2001, c2001)
• Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
  di: Matthias Baaz, Andrei Voronkov
  Pubblicazione: (2002, c2002)
• Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
  di: Franz Baader, Andrei Voronkov
  Pubblicazione: (2005, c2005)
• Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /
  di: Geoff Sutcliffe, Andrei Voronkov
  Pubblicazione: (2005, c2005)