Schémas de formules et de preuves en logique propositionnelle
Le domaine de cette thèse est la déduction automatique, c.-à-d. le développement d'algorithmes dont le but est de prouver automatiquement des conjectures mathématiques. Dans cette thèse, les conjectures que nous voulons prouver appartiennent à une extension de la logique propositionnelle, appel...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00523658 http://tel.archives-ouvertes.fr/docs/00/52/36/58/PDF/these.pdf http://tel.archives-ouvertes.fr/docs/00/52/36/58/ANNEX/soutenance.pdf |