Séminaire ACSIOM :

Le 05 mars 2013 à 09:45 -

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

Analyse BKW: formelle et rigoureuse 2.