Artificial intelligence and symbolic computation: 13th international conference, AISC 2018, Suzhou, China, September 16-19, 2018, proceedings

por Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques
Publicado 2018

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