Visitor

Views

Applications of Foundational Proof Certificates in theorem proving

11.6.2. Tableau 2 : CCAM mars 2011 : détail des actes d'ACP facturés ... médecins pour la cancérologie), se saisit de ce levier pour corriger.