De la satisfiabilité multi-niveaux au raisonnement à base de connaissances multi-niveaux

dc.contributor.author	Djeffal, Marwa
dc.contributor.author	Drias, Habiba
dc.date.accessioned	2014-11-10T12:05:47Z
dc.date.available	2014-11-10T12:05:47Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/123456789/231
dc.description	100 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Calcul des propositions	fr_FR
dc.subject	Métaheuristiques	fr_FR
dc.subject	Intelligence artificielle répartie	fr_FR
dc.subject	Agents intelligents (logique)	fr_FR
dc.subject	; Raisonnement	fr_FR
dc.subject	Inférence	fr_FR
dc.title	De la satisfiabilité multi-niveaux au raisonnement à base de connaissances multi-niveaux	fr_FR
dc.type	Thesis	fr_FR