Contribution à l'étude du raisonnement temporel : résolution avec contraintes et application à l'abduction en raisonnement temporel /

Description

Th. doct.--Math., informatique--Paris--Ec. natl. des ponts et chaussées, 1995. / Bibliogr. p. 163-173. Résumé. 1995 d'après la déclaration de dépôt légal.

Links & Downloads

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

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/464339266
Date	January 1900
Creators	Chleq, Nicolas.
Publisher	[Le Chesnay] : [INRIA],
Source Sets	OCLC
Language	French
Detected Language	French