- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Proposition de stage de master 2 recherche
Réseaux de preuves et circuits booléens
Proposition de stage de master 2, sous la direction de Virgile Mogbil, au LIPN.
jeudi 12 janvier 2006.
(français|English)
