Home
Admin
Users
Lecons
Dvpts
Versions Dvpt
Versions Lecon
Livres
Version #490 de développement
Lecon ID :
864
User ID :
135
Comment : Fichier : 2016_920.pdf
Références :
Term rewriting and All That - Franz Baader
Handbook of Automated Reasoning - Alan Robinson, Andrei Voronkov
Logique, réduction, résolution - Michel Demazure, René Lalement
✏️ Modifier
🗑 Supprimer