Cargando…

10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th International Conference on Mathematical Knowledge Management

Detalles Bibliográficos
Autores principales: Autexier, Serge, Calmet, Jacques, Delahaye, David, Ion, Patrick D F, Rideau, Laurence, Rioboo, Renaud, Sexton, Alan P
Lenguaje:eng
Publicado: Springer 2010
Materias:
Acceso en línea:http://cds.cern.ch/record/1305444