Projet : SAFIR                                RA 1997

previous up next contents
Suivant : Composition de l'équipe


Systèmes Algébriques et Formels pour l'Industrie et la Recherche

SAFIR


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


Sophia Antipolis


Thème : 2b


Page de présentation du projet - Rapport d'activité au format PostScript ou PDF

SAFIR est un projet commun à l'INRIA, au CNRS et à l'université de Nice-Sophia Antipolis, via le laboratoire de mathématiques, J.-A. Dieudonné (UMR 6621) et le laboratoire d'informatique, signaux et systèmes, I3S (URA 1376).


 

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