Résultats de la recherche "Volume editor Nicola Olivetti"

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007,

Automated Reasoning with Analytic Tableaux and Related Metho…

de Volume editor Nicola Olivetti

11 points

J'aiJe veux