AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Thèmes Cursus Enseignants

     Assistants de preuves et leur théorie

Thème : Logique & Preuve – Cursus : MPRI - M2  

     2006 - 2007  

     Assistants de preuves  

Christine Paulin-Mohring  , Jean-Christophe Filliâtre  , Bruno Barras  , Hugo Herbelin  , Benjamin Werner  , Claude Marché  
Accueil Plan du site Contact et proposition de documents : qravs-ng-yvfgrf-qbg-raf-ylba-qbg-se
Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.