[GdT Log&Prog] Vendredi 13/09/2016 (demain !), à 10h30 en B107 : Luc Pellissier

Bonjour, Comme promis, Luc fera la suite de son exposé sur les algèbres implicatives demain matin. Cela se passera en B107, à partir de 10h30. Voilà ce que dit Luc : "C’est la suite, donc, on parlera de passoires https://www.youtube.com/watch?v=TMt6TDQe4nQ" Amicalement, Damiano