Synthèse bibliographique du prouveur automatique Goéland.
Travail épistémologique relatant sur un historique rapide de la logique.
Mémoire de M2 MTS à l'Institut de l'Administration des Entreprises (IAE) Montpellier.