Automated Deduction—CADE-18 [E-Book] : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings /  

Voronkov, Andrei.
2002

Logic for Programming and Automated Reasoning [E-Book] : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /  

Parigot, Michel.
2000

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /  

Vardi, Moshe.
2003

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

Clarke, Edmund M.
2010

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /  

Fermüller, Christian G.
2010

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /  

Nieuwenhuis, Robert.
2001

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

Ganzinger, Harald.
1999