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:
Computing and Computers
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1305444

Internet

http://cds.cern.ch/record/1305444

Ejemplares similares