JFPLC 97 : actes des 6e journées francophones de programmation logique et programmation par contraintes

Jfplc

Description

Les Journées Francophones de Programmation Logique et Programmation par Contraintes, JFPLC'97, ont pour but de faire le point sur les recherches récentes avec une attention particulière sur les inter-relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application. Cet ouvrage est le recueil des articles acceptés, des résumés des conférences invitées et des contributions spécifiques de la session industrielle des sixièmes Journées Francophones de Programmation Logique et programmation par Contraintes. JFPLC'97 fait suite aux précédentes rencontres qui se sont tenues à Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Nîmes (93) et Lille (92).

Sujets

• Sciences & Techniques
• Informatique
• Sciences
• Programmation
• Computer Science
• Computers
• Techniques
• Ordinateur
• Science formelle
• Langage informatique
• Développement de logiciel
• Technique
• Science
• Logique
• Programmation informatique

Informations

• Publié par: Hermès - Editions Lavoisier
• Date de parution: 01 mai 1997
• Nombre de lectures: 93
• EAN13: 9782746233676
• Licence : Tous droits réservés
• Langue: Français
• Poids de l'ouvrage: 18 Mo

Extrait