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

Description

Th. doct.--Math., informatique--Noisy-le-Grand--Éc. natl. ponts et chaussées, 1995. / Bibliogr. p. 135-140. Résumé. 1996 d'après la déclaration de dépôt légal.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb35812321x

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/463774639
Date	January 1900
Creators	Terrasse, Delphine,
Publisher	[Le Chesnay : INRIA,
Source Sets	OCLC
Language	French
Detected Language	French