Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Claude Tisseron

Mots clés

FR

Mathématiques -- Étude et enseignement

Géométrie euclidienne

Théorèmes -- Démonstration automatique

Jeux linguistiques

Quantificateurs (logique mathématique)

Logique mathématique

Prédicat (logique)

Traitement automatique du langage naturel