LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes, Université de Montpellier
Satisfiabilité booléenneWeb sémantiqueŒnologieGénie logicielBig DataProgrammation par ensemble de réponses
Affiliations organisationnelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, Pôle de Recherche Mathématiques, Informatique, Physique, Systèmes, Université de Montpellier