M.Rueher tous les livres
Programmation en logique avec contraintes
La programmation en logique avec contraintes est le
fruit de recherches menées depuis plusieurs décennies dans
les domaines de la logique, de la démonstration
automatique, de la recherche opérationnelle et de
l'intelligence artificielle. Les outils et lan...
(paru le 05/08/2002, consulté 4750 fois)