9
Logiciels (programmes enregistrés); logiciels (programmes enregistrés) de recherche; programmes informatiques; Tous ces produits concernant la vérification de preuves mathématiques
42
Conception, développement, installation et mise à jour de logiciels; étude de projets techniques; ingénierie; programmation pour ordinateurs; recherche et développement de nouveaux produits informatiques pour des tiers; duplication de programmes informatiques; services de consultation, d'assistance et de support technique dans les domaines des logiciels, du matériel informatique et des ordinateurs; conception de programmes multimédias pour la mise en forme de textes, d'images fixes ou animées, de sons musicaux; conversion de données ou de documents d'un support physique vers un support électronique; Tous ces services concernant la vérification de preuves mathématiques
The designations have been translated automatically. Show translation