10th International Conference on Artificial Intelligence and Symbolic Computation, 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning and 9th Intern...

por Autexier, Serge, Calmet, Jacques, Delahaye, David, Ion, Patrick D F, Rideau, Laurence, Rioboo, Renaud, Sexton, Alan P
Publicado 2010