
JFLPC'98: actes des 7e journées francophones de programmation logique et programmation par contraintes
RIDOUX
Ces 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.
Détails du livre
-
Éditeur
-
Texte original
Oui -
Langue
Français -
Date de publication
-
Nombre de pages
308 -
Thème