GEOTRUST SSL CERTIFICATE
Résultat de la recherche
11 recherche sur le mot-clé 'programmation logique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Présente les fondements mathématiques de cette approche de la programmation informatique. Pour les étudiants de deuxième année à l'Ecole Polytechnique.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é
Présente une formalisation des systèmes numériques modélisant leur comportement au moyen de fonctions booléennes ou de formules de la logique. Les systèmes digitaux regroupent les ordinateurs et la plupart des techniques de transmission de l'inf[...]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[...]