FrançaisLes contraintes linéaires sur les nombres réels dans le cadre de la programmation en logique avec contraintes. Tome II
Thèse
contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables
Publisher City : Marseille
Publisher country : France
Language : French
Collation : 30 cm#broch. ; Bibliogr.
Location : Ouvrage RdC (IMBE)
Thesis city : Marseille
ACM code : G.1.6
Type of thesis : Thèse
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00015730 | [available] |
