contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables

Ville d'édition : Marseille

Pays d'édition : France

Langue : Français

Collation : 30 cm#broch. ; Bibliogr.

Localisation : Ouvrage RdC (IMBE)

Ville de thèse : Marseille

Code ACM : G.1.6

Type thèse : Thèse

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires