Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents
Le raisonnement assisté par ordinateur joue un rôle crucial en informatique et en logique mathématique, de la programmation logique à la déduction automatique, en passant par les assistants à la démonstration. Le but de cette thèse est la conception d'un cadre général où différentes techniques...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2013
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00961344 http://pastel.archives-ouvertes.fr/docs/00/96/13/44/PDF/Farooque.pdf |