Automated deduction – CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2013.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
Publicado: (2015) -
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 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado: (2017) -
Automated deduction – CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Publicado: (2019)