Inférence parallèle et processus communicants pour les clauses de Horn extension au premier ordre par la méthode de connexion /

Description

Reproduction de : Thèse de doctorat : Informatique : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 247-252.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00338381

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/493708377
Date	January 2008
Creators	Ibañez, Maria Blanca. Jorrand, Philippe.
Publisher	S.l. : Université Grenoble 1,
Source Sets	OCLC
Language	French
Detected Language	French