80 LOGICIELS
The Coq Proof Assistant
"Logiciel de vérification de théorèmes et bien plus encore. Il fournit un langage formel pour écrire..."
Voir la fiche
The Sketch Engine
"Ce système de gestion de corpus payant est accessible en ligne (il existe aussi une version téléchargeable)...."
Voir la fiche
TouIST
"Un langage convivial pour la logique propositionnelle et plus. ToulST permet d'encoder tout problème..."
Voir la fiche
TRAP (Traitement des signaux de Parole)
"Signal processing of speech (Traitement des signaux de Parole). Read and process acoustic data, EMA,..."
Voir la fiche
TXM
"La plateforme TXM combine des techniques puissantes et originales pour l’analyse de grands corpus de..."
Voir la fiche
UAM Corpus Tool
"The UAM CorpusTool is a state-of-the-art environment for annotation of text corpora. So, whether you..."
Voir la fiche
Wapiti
"Wapiti est un outil qui utilise des modèles discriminants pour segmenter et étiqueter très rapidement..."
Voir la fiche