Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

Cours pour apprendre à utiliser la logique formelle afin de modéliser des informations sur des données et de les manipuler automatiquement, illustré d'exercices corrigés.