Autor
Benjamin Werner
Je suis un chercheur employé par l'INRIA
Page web : http://www.lix.polytechnique.fr/Labo/Benjamin.Werner/french.html
Todos sus artículos (1) :
-
el 15 de octubre de 2006Longtemps réservée aux informaticiens et logiciens, la vérification formelle de démonstration commence à être utilisée par une fraction grandissante de la communauté mathématique.leer artículo
