% ________________________________________ % Articles dans des livres @incollection{Benhamou:95, author = "Fr\'ed\'eric Benhamou", title = "Interval Constraint Logic Programming", editor = "A. Podelski", booktitle = "Constraint Programming, Basic and Trends", publisher = "Springer Verlag", series = "{LNCS} 910", pages = "1--21", year =1995} @incollection{Imbert:95a, author = "Jean-Louis Imbert", title = "Linear Constraint Solving in {CLP}-Languages", editor = "A. Podelski", booktitle = "Constraint Programming, Basic and Trends", publisher = "Springer Verlag", series = "{LNCS} 910", pages = "108--127", year =1995} @incollection{Colmerauer:93, author = "Alain Colmerauer", title = "Naive solving of non-linear constraints", booktitle = "Logic Constraint Programming, Selected Research", editor = "Fr\'ed\'eric Benhamou and Alain Colmerauer", publisher = "MIT Press", address = "Cambridge, USA", year = 1993} @incollection{Massat:93a, author = "Jean Luc Massat", title = "Using local consistency techniques to solve {Boolean} constraints", booktitle = "Logic Constraint Programming, Selected Research", editor = "Fr\'ed\'eric Benhamou and Alain Colmerauer", publisher = "MIT Press", year = 1993, address = "Cambridge, USA"} @incollection{SanMiguel:93, author = "{San Miguel Aguire}, Alfonso", title = "How to Use Symmetries in Boolean Constraint Solving", booktitle = "Constraint Logic Programming, Selected Research", editor = "Fr\'ed\'eric Benhamou and Alain Colmerauer", publisher = "MIT Press", year = 1993} @incollection{Malkani95, author ={K. Malkani and C. Ch\'edot and J. Sequeira}, title ={Volumetric analysis and surface reconstruction for anatomical structure modelling}, booktitle = {3-D Biomedical Imaging}, chapter =7, editor ={Ch. Roux and JL. Coatrieux}, publisher ={IOS Press}, note ={\`a para\^{\i}tre}, year =1995, }