Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #519 de développement

Lecon ID : 863
User ID : 154
Comment : Fichier : 2015_919.pdf
Références :
Term rewriting and All That - Franz Baader
Introduction à l'algorithmique - Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Fondements mathématiques de l'informatique - Stern
✏️ Modifier