Etude et réalisation d'un ensemble de primitives pour la satisfaction de contraintes en domaines finis
Abstract
Disponible dans les fichiers attachés à ce document.
Reports
(Research Report)
Year : 1991
Rapport De Recherche Inria : Connect in order to contact the contributor
https://hal.inria.fr/inria-00075172
Submitted on : Wednesday, May 24, 2006-5:38:27 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Tuesday, April 12, 2011-9:35:20 PM
Dates and versions
Identifiers
- HAL Id : inria-00075172 , version 1
Cite
Pierre Berlandier. Etude et réalisation d'un ensemble de primitives pour la satisfaction de contraintes en domaines finis. [Rapport de recherche] RR-1389, INRIA. 1991. ⟨inria-00075172⟩
52
View
48
Download