Séminaire ACSIOM :

Le 07 mai 2013 à 09:45 -

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

Analyse BKW: formelle et rigoureuse 4.