Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
A3PAT

ANR
Déc. 2005 - Juin 2009

Equipe : Toccata
Responsable : 

Gestionnaire : 
Organisme gérant : CNRS

Assister Automatiquement les Assistants de Preuve avec des Traces



Activités de recherche

Membres LRI


Pour en savoir plus : http://www3.iie.cnam.fr/~urbain/a3pat/
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR