Démontrer en logique : une science expérimentale ?
RésuméQuels sont les modes concrets d’élaboration des démonstrations en logique ? Cet article tente d’apporter des éléments de réponses à cette question en analysant un processus récent de développement et d’implémentation d’un logiciel de démonstration de théorèmes par des chercheurs en logique et...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Sprog: | Français |
| Udgivet: |
2009
|
| Online adgang: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |