Le moteur de recherche
des thèses françaises
Christian Retoré
IdRefMots clés
FR |
EN
Traitement automatique du langage naturel
Sémantique
Linguistique -- Informatique
Lambda-calcul
Théorie de la démonstration
Traitement automatique des langues
Traduction automatique
Grammaire catégorielle
Inférence
Ontologies (informatique)
Sémantique des jeux
Sémantique selon la théorie des jeux
Apprentissage automatique
Sémantique formelle
Langages de programmation -- Sémantique
Logique mathématique
Lexique Génératif
Ontologies
Sémantique compositionnelle
Lambda-calcul du second ordre