Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Pfenning, Frank (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Colección: | Lecture Notes in Artificial Intelligence,
4603 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
Publicado: (2005) -
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) -
Automated Deduction - CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Publicado: (2009) -
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)