Syntaxe et sémantique des diagrammes de preuve

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 23/05/2017
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


TBA

https://www.lmno.cnrs.fr/?q=equipes/agl


Retour en haut 

Secured By miniOrange