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