Return to Seminars

June 25, 2017, 9:30 am, Clément Sipieter (Graphik)

Bt 5, Room 3.152

Titre : Présentation de la nouvelle version de Graal

Détail : Je présenterai la nouvelle version de Graal, notre plate-forme dédiée aux règles existentielles, ainsi que la documentation du site web. Venez avec votre machine pour faire l’installation de Graal et tester les exemples.

 

Permanent link to this article: https://team.inria.fr/graphik/news-3/june-25-2017-930-am-clement-sipieter-graphik/