The journal of Spanish Royal Academy of sciences (RACSAM), a special issu on Symbolic Computation and Artificial Intelligence115328Voir les documents associés Exporter Export XML Export RDF