Déduction naturelle pour le calcul des prédicats (M1 MAAP, Logique et calculabilité) [18 mars 2021]
Informations
-
Ajouté par :
-
Mis à jour le :
18 mars 2021 16:15 -
Durée :
00:22:07 -
Nombre de vues :
267 -
Type :
-
Langue principale :
Français -
Public :
Master -
Discipline(s) :