Alexandre Miquel
Enseignements 2007-2008
M2 MPRI
Fondements des systèmes de preuve
(resp.: Gilles Dowek)