Automated deduction CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /

nork International Conference on Automated Deduction, Pfenning, Frank.
Argitaratua 2007.

Automated deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, july 22-27, 2005 : proceedings /

nork International Conference on Automated Deduction, Nieuwenhuis, Robert.
Argitaratua 2005.

Automated deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /

nork International Conference on Automated Deduction, Schmidt, Renate A.
Argitaratua 2009.

Automated deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, proceedings /

nork International Conference on Automated Deduction, Bonacina, Maria Paola.
Argitaratua 2013.

Automated deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011 : proceedings /

nork International Conference on Automated Deduction, Bjørner, Nikolaj., Sofronie-Stokkermans, Viorica.
Argitaratua 2011.