Vers une formalisation de la déduction partielle de la CLP

dc.contributor.author	Tandjaoui, Djamel
dc.date.accessioned	2017-04-23T13:58:52Z
dc.date.available	2017-04-23T13:58:52Z
dc.date.issued	1998
dc.identifier.uri	http://hdl.handle.net/123456789/5339
dc.description	87 p. : fig. ; 29 cm.(+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Systémes informatiques	fr_FR
dc.subject	Programmation logique	fr_FR
dc.subject	Optimisation mathématique	fr_FR
dc.title	Vers une formalisation de la déduction partielle de la CLP	fr_FR
dc.type	Thesis	fr_FR