Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Programmation en logique avec contraintes

Librairie Eyrolles - Paris 5e
Indisponible

Programmation en logique avec contraintes

Programmation en logique avec contraintes

306 pages, parution le 05/08/2002

Résumé

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 langages de programmation issus de ces travaux connaissent un réel succès industriel car ils permettent de résoudre des problèmes difficiles dans des domaines aussi variés que la robotique, la planification de la production ou l'optimisation de réseaux de télécommunications.
Programmation en logique avec contraintes regroupe des contributions sélectionnées et présentées aux onzièmes Journées francophones de programmation logique et programmation par contraintes (JFPLC'2002).
Ces journées sont depuis une vingtaine d'années le rendez-vous annuel de la communauté francophone et permettent de faire le point sur les recherches récentes dans ces domaines. Les thèmes abordés cette année concernent les contraintes numériques, les problèmes de satisfaction de contraintes, la logique, l'analyse de programmes et les environnements de programmation.

Sommaire
  • Papier invité
  • Du filtrage optimal à la strabilité parfaite
  • Contraintes numériques
  • Raisonnement sur les propriétés de contraintes numériques
  • Résolution de pronlèmes non-linéaires avec continuum de solutions
  • Quelques applications de la propagation de contraintes
  • Logique I
  • Optimisation par colonies de fourmis
  • Using automated induction-based theorem provers for reasoning about concurrent systems
  • Non-termination inference for optimal termination conditions of logic programs
  • Environnement
  • Explications conviviales pour la programmation par contraintes
  • Analyse automatisée de traces d'exécution de programmes CLP(FD)
  • Prototypage de traceurs CLP(FD) : un modèle de trace et son expérimentation
  • Applications
  • Résolution d'un problème de conception de réseau avec Parallel Solver
  • Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
  • CSP
  • Representation of soft constraints by hard constraints
  • Amortized Non-Systematic Search Algorithms
  • Logique D
  • Généralisations correctes pour l'induction mathématique
  • Découverte de lemmes par instanciation de métavariables
  • Réécriture de programmes C-- en équations logiques
  • Analyse de programmes
  • Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers
  • Surcharge et sous-typage dans TCLP
  • Arbre d'itérations chaotiques pour décrire la résolution des CSP
  • Index des auteurs

Caractéristiques techniques du livre "Programmation en logique avec contraintes"

  PAPIER
Éditeur(s) Hermès - Lavoisier
Auteur(s) Michel Rueher
Parution 05/08/2002
Nb. de pages 306
Format 15,5 x 23,5
Couverture Broché
Poids 483g
Intérieur Noir et Blanc
EAN13 9782746204775
ISBN13 978-2-7462-0477-5

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925