Vers un assistant à la preuve en langue naturelle
Cette Thèse est la conclusion de trois ans de travail sur un projet nommé DemoNat. Le but de ce projet est la conception d'un système d'analyse et de vérification de démonstrations mathématiques écrites en langue naturelle.<br><br>L'architecture générale du système se décr...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2006
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00414773 http://tel.archives-ouvertes.fr/docs/00/41/47/73/PDF/these.pdf |