TD : résolution, sémantique opérationnelle
TD : résolution, sémantique opérationnelle. Résolution et Déduction Automatique. La r`egle de résolution. Exercice 1. Appliquer la r`egle de résolution, ...
Télécharger TD : résolution, sémantique opérationnelle pdf
