Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2015.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Automated deduction – CADE 26 : 26th international conference on automated deduction, Gothenburg, Sweden, august 6–11, 2017, Proceedings /
Publicado: (2017) -
Automated deduction – CADE 27 : 27th international conference on automated deduction, Natal, Brazil, august 27–30, 2019, proceedings /
Publicado: (2019) -
Automated deduction – CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Publicado: (2019) -
Automated deduction – CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. Proceedings /
Publicado: (2011) -
Automated deduction – CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
Publicado: (2013)