Rapports

25/05/05 La Preuve en Mathematique, Univ. Lille III: Jeremy Avigad: Understanding proofs / discussion / Paolo Mancosu: Unification & explanation, algebraic geometry / discussion

Il n'y a pas de rapports pertinents pour cet élément