Séminaire ACSIOM :

Le 12 février 2013 à 09:45 -

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

Analyse BKW: formelle et rigoureuse 1.