GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Affiner la recherche
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 les fondements mathématiques de cette approche de la programmation informatique. Pour les étudiants de deuxième année à l'Ecole Polytechnique.
