Séminaire ACSIOM :

Le 21 mai 2013 à 09:45 -

Présentée par Carles Rémi - CNRS

Analyse BKW: formelle et rigoureuse 5.