Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #512 de développement

Lecon ID : 1344
User ID : 154
Comment : Fichier : 2015_914_2.pdf
Références :
Calculabilité et décidabilité - Autebert
Mathématiques de l'informatique - Dehornoy
Introduction à l'informatique théorique: calculabilité & complexité - Arto Salomaa
Logique et fondements de l'informatique - Rougemont, Lassaigne
✏️ Modifier