UCL-INGI/LINGI1123-Calculabilite

Ch03.9: Preuve Rice

Closed this issue · 0 comments

La preuve du théorème de Rice contient pas mal d'imprécisions... A corriger