Filtres

La modification de l'une des entrées du formulaire entraînera l'actualisation de la liste des événements avec les résultats filtrés.

Séminaire TNGA : Filippo Nuccio

Orateur : Filippo Nuccio (Université Jean Monnet Saint-Étienne) Titre : Expliquer un peu d'arithmétique à un ordinateur Résumé : Dans cet exposé j'essaierai d'illustrer ce que signifie formaliser des mathématiques […]