Informes

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

No hay informes relevantes para este ítem