Return to Seminars

March 22, 2019, 10:45 AM: Cyril Savelief (ComputableFacts)

Salle 3.152, Bat 5.

Présentation des besoins applicatifs de ComputableFacts et de l’utilisation des règles existentielles (via l’outil Graal)

Permanent link to this article: https://team.inria.fr/graphik/news-3/march-22-2019-1045-am-cyril-savelief-computablefacts/