GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002) (2002) |
Documents disponibles écrits par cet auteur (8)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; GROUPE PROGRAMMATION EN LOGIQUE, Auteur ; ÉCOLE POUR LES ÉTUDES ET LA RECHERCHE EN INFORMATIQUE ET ÉLECTRONIQUE, Auteur | Bessières (Haute Garonne) : Teknea | 1993Thèmes abordés : programmation séquentielle, Prolog, langage naturel, représentation de la connaissance, lambda-calcul, transformation de programmes, contraintes.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é
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.