Delphine Terrasse

Country : France
Language : français
Note :
Docteur en mathématiques, informatique de l'École nationale des ponts et chaussées (en 1996)
ISNI : ISNI 0000 0000 0783 8915

Activities of Delphine Terrasse (1 resources in data.bnf.fr)

Textual works (1)

Vers un environnement d'aide au développement de preuves en sémantique naturelle

See also