Équipe : Pour L'Utilisation et l'aMÉlioration
de la déduction automatique

Suivant : Composition de l'équipe

$\parbox{180pt}{\textsf{Plume géométrique:} Instrument propre à form... ... combinaison circulaire.\\ \hspace*{50pt}\emph{Le Larousse du XXème siècle.}}$


$\parbox{180pt}{\textsf{Algorithme:} Description propre à former toute espèce de calculs au moyen d'une combinaison d'opérations élémentaires}$

PLUME

Pour L'Utilisation et l'aMÉlioration
de la déduction automatique


Rapport d'activité de l'année 1999


École Normale Supérieure de Lyon


Laboratoire d'Informatique du Parallélisme


Page de présentation de l'équipe - Rapport d'activité au format PostScript

Ce document a été mis au format HTML grâce aux programmes développés sur latex2html par José Grimm (Sophia Antipolis, Projet Miaou).