Fiche d'une revue

Royal Academy of Sciences Journal. Special Issue on Symbolic Computation in Logic and Artificial Int119893