Automated deduction - CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /

Similar Items

• Automated deduction - CADE 26 /
  Published: (2017)
• Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
  Published: (2015)
• Automated deduction - CADE 26 : 26th international conference on automated deduction, Gothenburg, Sweden, august 6-11, 2017, Proceedings /
  Published: (2017)
• Automated deduction - CADE 27 : 27th international conference on automated deduction, Natal, Brazil, august 27-30, 2019, proceedings /
  Published: (2019)
• Automated deduction - CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
  Published: (2019)