Return to Seminars

May 6, 2020, 2 PM: Jean-François BAGET (GraphIk)

Cours modeles stables : Cours IV :  Au programme, « les semantiques de la skolemisation » et quelques timides avancées sur la trace de l’odieux wumpus.

Permanent link to this article: https://team.inria.fr/graphik/news-3/may-6-2020-2-pm-jean-francois-baget-graphik/