logo inria

News
INRIA
Scientific Research
Valorization and Transfert
Publications and Documentation
Working and Training at INRIA

Version française Directory Site map
 Advanced search and help

Same level information :

| Research teams | Cooperative Initiatives | International Scientific Collaboration | Researchers' News |

-----------------------
EURECA : Proof, Symbolic Computation and Logic (project-team)
-----------------------

illustration projet About the team :
Videos and photos
Research reports and theses

Theme : 2
Software engineering and symbolic computing

Lorraine research unit


EURECA has been dissolved on 12/31/1997
It has been replaced by POLKA

Scientific leader

Pierre LESCANNE
--------------------------------
|  back to top    | homepage
© INRIA - updated : 09/01/2000 - webmaster@inria.fr