Syntaxe et sémantique des diagrammes de preuve
Matteo Acclavio
LMNO, Université de Caen
http://matteoacclavio.com/Math.html
Date(s) : 23/05/2017 iCal
11h00 - 12h00
TBA
https://www.lmno.cnrs.fr/?q=equipes/agl
Catégories
Localisation
Adresses
Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
