Éditeur(s) :
Lavoisier-Hermès
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. ©Electre 2025
52,74 €