Logique et démonstration automatique : Une introduction à la ...
2 févr. 2012 ... indiquons par des étoiles la difficulté des exercices proposés, plus il y a d'étoiles
plus l'exercice est difficile. Nous indi- .... alors un résultat de compacité qui sera
principalement utilisé dans la seconde partie de ce livre. Ensuite nous ... 1. http://
www-verimag.imag.fr/~raymond/index.php/bddc-manual/.
Un extrait du document