Automated deduction – CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2019.
|
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 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 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado: (2017) -
Automated deduction – CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. Proceedings /
Publicado: (2011)