Séminaire ACSIOM :

Le 02 avril 2013 à 09:45 -

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

Analyse BKW: formelle et rigoureuse 3.