Automated deduction - CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. 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)