Royal Academy of Sciences Journal. Special Issue on Symbolic Computation in Logic and Artificial Int119893Voir les documents associés Exporter Export XML Export RDF