GEOTRUST SSL CERTIFICATE
Résultat de la recherche
9 recherche sur le mot-clé 'programmation par contraintes'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Bernard Cadet, Metteur en scène, réalisateur ; Corinne Grenier, Metteur en scène, réalisateur | Caen : Presses universitaires de Caen | 2003Etudie l'impact des contraintes sur les prises de décision, et analyse quelles formes elles prennent dans les disciplines différentes (psychologie, économie, gestion, etc.).![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; CENTRE DE RECHERCHE EN INFORMATIQUE, Auteur ; LABORATOIRE D'AUTOMATIQUE, Auteur ; GROUPE PROGRAMMATION EN LOGIQUE, Auteur | Bessières (Haute Garonne) : Teknea | 1995Thèmes abordés : contraintes, sémantique, bases de connaissances, bases de données, résolution, applications industrielles, technologies objet.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Olivier Ridoux, Metteur en scène, réalisateur | Paris : Hermès science publications | 1998Ces journées ont pour but de faire le point sur les relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application en informatique fondamentale.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Michel Rueher, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002La programmation logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans le domaine de la logique, la démonstration automatique, la recherche opérationnelle et l'intelligence artificielle.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Jean-Louis Imbert, Metteur en scène, réalisateur | Paris : Hermès science publications | 1996La programmation logique apparue dans les années 70 est reconnue comme un paradigme de programmation simple et déclaratif. La programmation par contraintes s'est beaucoup développée et conjointement à la programmation logique permet d'attaquer e[...]![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Frédéric Benhamou, Éditeur scientifique | Paris : Hermès science publications | 1997Ces journées ont pour but de faire le point sur les relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application.![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; François Fages, Éditeur scientifique | Paris : Hermès science publications | 1999Ces journées ont pour but de faire le point sur les relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application.![]()
texte imprimé
Recueil des dix-huit exposés présentés lors de la conférence, répartis en sept sessions ayant pour titres : bioinformatique, sémantique, contraintes, applications (contrôle du trafic aérien, biologie), solveurs de contraintes, langages et extens[...]![]()
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Philippe Codognet, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Présente les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.