La compréhension des langues naturelles et son exploitation dans les interfaces homme-machines est l’un des défis majeurs de l’informatique pour les prochaines années. L'ouvrage présente les clés d'accès à ce nouveau domaine de recherche, à l'intersection de la linguistique, de l'informatique et de la logique formelle.