Skip to Main content Skip to Navigation
New interface


...
tel-01089490v1  Habilitation à diriger des recherches
Évelyne Contejean. Facettes de la preuve
Logique en informatique [cs.LO]. Université Paris-Sud, 2014