Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Banach center publications , 0046
Localisation : Salle des périodiques 1er étage
algèbre de calcul # groupe de Lie # informatique théorique # logique mathématique # logique modale # renormalisation # structure de rafinement d'algèbre # théorie de la preuve # unification
00B30 ; 03-06
... Lire [+]