%0 Thesis %1 phd/hal/Castro98 %A Castro, Carlos %D 1998 %K dblp %T Une approche déductive de la résolution de problèmes de satisfaction de contraintes.

@phdthesis{phd/hal/Castro98, added-at = {2019-05-09T00:00:00.000+0200}, author = {Castro, Carlos}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26779788b5efa3b227d429e85ecb1c0ed/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01754359}, interhash = {61110654ce8dc89156e23b13ecfab3f7}, intrahash = {6779788b5efa3b227d429e85ecb1c0ed}, keywords = {dblp}, school = {Henri Poincaré University, Nancy, France}, timestamp = {2019-09-27T12:26:17.000+0200}, title = {Une approche déductive de la résolution de problèmes de satisfaction de contraintes.}, year = 1998 }