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...

Full description

Bibliographic Details
Main Author: Patrick, Thévenon
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